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 since 2005, including NSF support for research collaboration in computability with Russia/Kazakhstan and Bulgaria. In fall 2014, I was on sabbatical at the Kurt Gödel Research Center for Mathematical Logic of the University of Vienna. I gave a plenary talk at MAA Meeting at Bowie State University, Nov. 7-8, 2014. My book, co-edited with A. Eskandarian and J. Chubb,  Logic and Algebraic Structure in Quantum Computing, Cambridge University Press, is forthcoming.

I was a co-organizer of the Special Session on Computable Structure Theory at the AMS Meeting in March 7-8, 2015 in Washington, and a co-organizer of the joint AMS/ASL Special Session on Logic and Probability at the Joint Mathematics Meetings in January 2014 in Baltimore. I serve on the Program Committee for 2016 Computability in Europe meeting in Paris, June 27-July 1, and served on the Program Committee for the European Summer Meeting in Portugal in July 2013. I chaired the Organizing Committee for the ASL 2010 North American Annual Meeting at GW.

I am a co-director of the GW Center for Quantum Computing, Information, Logic and Topology. I organize Washington Area Logic Seminar at GW, and  also co-organize the bi-annual meetings Knots in Washington, the latest ones are XL in March 2015, XXXVIII in May 2014, and XXXVII in January 2014, and the forthcoming one XLI  in  December 4-6, 2015. In Spring and Fall 2015, I am organizing GW Math Colloquium.

Recent Conference Talks