Hi there and welcome to Planet Quantum.

A little background: My education is at Caltech, MIT, and Stanford.  I've worked at Xerox PARC, Wolfram Research Inc., University of Waterloo, Zenprise, Apteligent, Optimizely, and UnifyID.  Some of you may be familiar with the computer algebra systems Mathematica and Maple.  I worked on both of those systems.

Currently, I'm researching topics in automated theorem proving, higher order logic, type theory, and program verification.

On this web site, I plan to:

Report on my computer algebra system QUANTUM

Publish research papers and other works that I've created

Educate some of you eager to learn by publishing some tutorials

Hand out a few "freebies"

Share information

I am looking forward to interaction with some of you readers out there who will find this web site.  Feel free to contact me at the email link provided below.