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
Some papers of mine from a few years ago can be found here. I
remain interested in these lines of research, but I haven't had time
to pursue these directions recently.