Welcome!


I am Professor of Mathematics at the George Washington University where I teach a wide range of advanced and introductory courses.
 
GWU awards: Trachtenberg Prize for Research, 2016.
The George Washington Award from the Division of Student Affairs, 2020
 
Research areas are: computable model theory and computable algebra, computability theory, and theoretical computer science.
 
Research has been supported by the National Science Foundation, Simons Foundation, and Columbian College Dean's Chair;
currently by NSF  #2152095.

MATHSCINET

My Citations in Google Scholar

Math Genealogy

Book chapter, co-authored with R. Dimitrov, Countable nonstandard models: following Skolem's approach, in: Handbook of the History and Philosophy of the Mathematical Practice, Springer, to appear.

Book chapter, co-authored with T. Ha, L. Marshall and H. Walker, Computability and definability, in: Structure and Randomness in Computability and Set Theory, World Scientific, 2020.

Book, co-edited with A. Eskandarian and J. Chubb,  Logic and Algebraic Structure in Quantum Computing, Cambridge University Press, 2016. Introduction.

Book chapter, co-authored with E. Fokina and A. Melnikov, Computable model theory, in: Turing's Legacy, Cambridge University Press, 2014.

Eisenbud Professor, Mathematical Sciences Research Institute (MSRI), Berkeley, 2020-21.

Co-organizer (with M. Malliaris, B. Mazur, R. Miller, J. Pila, T. Scanlon, A. Shlapentokh, and C. Videla) of the program Decidability, Definability and Computability in Number Theory, Part 1(virtual), MSRI, Berkeley, Aug. 17-Dec. 18, 2020. Part 2,  in-person, July 18-August 12, 2022.

Was Visiting Professor, Kurt Goedel Research Center for Mathematical Logic of the University of Vienna.

Involved in research Collaboration in Computability with Russia, Kazakhstan and Bulgaria (with PI: Julia Knight).

Gave tutorials on computable structure theory at 11th Panhellenic Logic Symposium in Delphi, Greece, July 12-16, 2017, and at the Annual ASL Meeting in Boise, March 20-23, 2017.

Gave a plenary talk at MAA Meeting at Bowie State University, Nov. 7-8, 2014.

Co-organizer (with W. Calvert and A. Shlapentokh) of the AMS Special Session on Computable Mathematics, dedicated to Martin D. Davis, JMM, San Francisco, January 2024.

Was co-organizer (with K. Eisentraeger, J. Park and A. Shlapentokh) of the American Institute of Mathematics workshop Definability and Decidability Problems in Number Theory, San Jose, May 6-10, 2019.

Was chair of the Program Committee for the Winter ASL Meeting (with Joint Math Meetings) in Baltimore, January 18-19, 2019.

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 Charleston, 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.

Served on the Program Committee for Mal'cev meeting, Novosibirsk, Nov. 16-20, 2020; Second Workshop on Digitalization and Computable Models, Novosibirsk,  July 20-24, 2019;  2018 Logicum Colloquium in Bayreuth, Germany, Sept. 14-16, on the Program Committee for 2016 Computability in Europe meeting in Paris, June 27-July 1, and for the 2013 European Summer Meeting in Evora, Portugal.

Chaired the Organizing Committee for the ASL 2010 North American Annual Meeting at GW.

Co-directed (with Ali Eskandarian) GW Center for Quantum Computing, Information, Logic and Topology, 2011-18.

Organize Washington Area Logic Seminar at GW, which has been selected as the University Seminar: Logic Across Disciplines for 2017-20, and University seminar: Computability, Complexity and Algebraic Structure for 2023-24.

Organized GW Mathematics Colloquium, 2018-20 (with Jozef Przytycki), 2017-18 (with Joel Lewis), 2016-17, Spring and Fall 2015.

Co-organized bi-annual meetings Knots in Washington, the most recent ones are: XLIX during February 7-9, 2020; XLVIII during May 10-12, 2019; XLVII during January 20-21, 2019; XLVI during May 4-6, 2018; XLV during Dec. 8-10, 2017; XLIV during April 28-30, 2017.

Taught five Dean's Seminars for Freshmen, including Language and Logic in Fall 2018.

Serve as faculty adviser for AWM GW Student Chapter, which organized Women in Stem Career Panel on November 19, 2020, and a special lecture on Mayan Mathematical System by Dr. Hakim Walker followed by a panel discussion on April 28, 2023.



Conference and Other Talks

Downloads