Wolfram Research, Inc.
100 Trade Centre Drive
Champaign, IL 61820
I have been a member of the Wolfram Research R&D team since 1993.
I work on development of algebraic capabilities of Mathematica.
Things I have been working on include solving systems of equations and
inequalities over specified number domains, quantifier elimination, exact
optimization, geometric computation, algebraic numbers and computation in
algebraic extensions of rationals, roots of transcendental functions,
Boolean algebra, expression simplification, assumptions, inference testing
and theorem proving.