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, algebraic numbers and computation in algebraic extensions of
rationals, roots of transcendental functions, assumptions, inference testing,
theorem proving, expression simplification, mathematical function properties,
asymptotic solutions of algebraic equations, function limits, Boolean algebra,
and geometric computation.