Welcome!

I am Professor of Mathematics at the George Washington University. I teach a wide range of advanced and introductory courses. My research areas are computable algebra and computable model theory, computability theory, and theoretical computer science. My research is supported by the National Science Foundation. This support includes collaboration in computability with Russia/Kazakhstan. I organize GW Logic Seminar, and am a co-organizer for the Special Session on Computable Mathematics (in honor of Alan Turing) at the American Math Society Meeting, March 17-18, 2012 at GW. I am a director of the GW Center for Quantum Computing, Information, Logic and Topology and co-organize the bi-annual meetings Knots in Washington.