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"
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.
|©2004-2023 Planet Quantum||Kelly Roach|