Welcome!
I am Professor of
Mathematics
at the
George
Washington University. I teach a wide
range of advanced
and introductory
courses. My
research
areas
are computable algebra and model
theory, computability 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 GW
Logic
Seminar, and am organizing the Association for Symbolic
Logic
North American Annual
Meeting in
Spring 2010. I am part of the GW Quantum
Computation, Complexity, and Information Group supported by the
University
Research Enchancement Award. Our group has started GW
Quantum
Computing Seminar and
related activities this academic year.