Rick Sommer's Web Page
Here are some things that may be of interest:
My main professional activities are with the Education Program for Gifted Youth (EPGY) at Stanford University. The most interesting project I'm involved in at EPGY is the
Theorem Proving Environment
For more on EPGY
Some papers of mine from a few years ago can be found
. I remain interested in these lines of research, but I haven't had time to pursue these directions recently.
I'm also director of
Stanford University Mathematics Camp (SUMaC).
My Personal Page
My Tomato Page
I'm the chair of the organizing committee for the
Association for Symbolic Logic (ASL) 2005 Annual Meeting.
I'm an officer (currently Program Chair; formerly Chair and Vice Chair) of the
Northern California, Nevada, Hawaii Section of the Mathematical Association of America (MAA)
Last modified: Mon Apr 15 15:50:24 PDT 2002