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 and Bulgaria.

I was a co-organizer of the joint AMS/ASL Special Session on Logic and Probability at the Joint Mathematics Meetings in January 2014 in Baltimore, and served on the Program Committee for the European Summer Meeting in Portugal in July 2013. I organize Washington Area Logic Seminar at GW, and am a director of the GW Center for Quantum Computing, Information, Logic and Topology. I co-organize the bi-annual meetings Knots in Washington.