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 model theory and computable algebra, computability theory, and theoretical computer science. National Science Foundation  supported my research via DMS grants 1202328, 0904101, 0704256 and 0502499. My research is also supported by Simons Foundation and CCAS Dean's Chair. I am involved in research collaboration in computability with Russia/Kazakhstan and Bulgaria. I spent fall 2014 at the Kurt Gödel Research Center for Mathematical Logic of the University of Vienna. I gave a tutorial on computable structure theory at the Annual ASL Meeting in Boise, March 20-23, 2017, and 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, appeared in March 2016.

GWU awarded me Trachtenberg Prize for Research in 2016.

I was a co-organizer of the Special Session on Computability in Algebra and Number Theory at the AMS Meeting in March 10-12, 2017 in Chareston, SC, 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 served on the Program Committee for 2016 Computability in Europe meeting in Paris, June 27-July 1, and served on the Program Committee for the 2013 European Summer Meeting in Evora, Portugal. 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 XLIII during December 9-11, 2016, XLII during April 29-May 1, 2016XLI during December 4-6, 2015, XL in March 2015, XXXVIII in May 2014, and XXXVII in January 2014. In Spring 2015, Fall 2015, and 2016-17, I am GW Math Colloquium organizer.

Recent Conference Talks

  • Computability and Complexity Symposium, Raumati, New Zealand, January 5-8, 2017.
  • AMS Meeting, University of St. Thomas, Minneapolis, October 28-30, 2016.
  • International Workshop on Computability Theory, Ghent, Belgium, July 4-5, 2016.
  • OAL16, Penn State Berhend, Erie, June 8-10, 2016.
  • ASL Annual Meeting, Univ. of Connecticut, May 23-26, 2016
  • AMS Meeting, University of Utah, April 9-10, 2016.CCR, University of Hawaii, January 4-8, 2016.NERDS, Worcester, MA, Oct. 17, 2015.
  • AMS Meeting, Chicago, Oct. 2-4, 2015.
  • European Summer Meeting of ASL, Helsinki, August 3-8, 2015
  • Sets and Computations, IMS, NU Singapore, April  2015
  • AMS Meeting, Las Vegas, April 18-19, 2015