Welcome!
I am Professor of Mathematics
at the George Washington
University where 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. National Science
Foundation has been supporting my research,
including NSF support for research collaboration in
computability with Russia/Kazakhstan. I organize
Washington Area Logic
Seminar at GW, and co-organized the Special
Session on Computable Mathematics (in honor of Alan
Turing) at the American Math Society Meeting in
March 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.