IT professional (computer programmer). BS Computer Science (USA). Recently began graduate program in computer science. Interested in mathematical and theoretical aspects of computer science (in addition to mathematics itself). Plan to study semantics, type theory, functional programming (haskell), computability theory. Plenty of self-study makes it difficult to describe my "mathematical maturity", but I'll go with "advanced undergraduate".