Welcome!
I am Professor of Mathematics at the George
Washington University. I
teach a wide
range of advanced
and introductory
courses. My research specialties are mathematical logic, in
particular computability theory and computable model theory, and
theoretical computer science. My research is supported by the
National Science Foundation. This
support includes collaboration in computability with Russia/Kazakhstan.
I organize GWU Logic Seminar, and will be organizing the
Association for Symbolic
Logic Annual Meeting in Spring 2010. I am part of the GWU Quantum
Computation, Complexity, and Information Group that has recently been
funded by the
University
Research Enchancement Award. Our group is starting a
GWU
Quantum
Computing Seminar this year.