Adjunct Professor,
Department of Mathematics,
UCLA
Logic Colloquium chairman.
Here is more about the
UCLA Logic Center
and logic at UCLA.
Former Editor of
Reviews
for the
Association for Symbolic Logic (publisher of
The Journal of Symbolic Logic and
The Bulletin of Symbolic Logic ).
Electronic mail:
Here: links to logicians' web pages!
Teaching:
Spring, 2008:
Math. 115A, Linear Algebra
Winter, 2008:
Math. 110A, Algebra
Fall, 2007:
Math. 61, Discrete Mathematics
Spring, 2007:
Math. 61, Discrete Mathematics
Winter, 2007:
Math. 114A, Computability Theory
Fall, 2006:
Math. 3C, Calculus and Probability
for Life Science
Spring, 2006:
Math. 3C, Calculus and Probability for Life Science
Winter, 2006:
Math. 131A, Analysis
Fall, 2005:
Math. 3C, Calculus and Probability for Life Science
Spring, 2005:
Math. 3B, Calculus for Life Science
Spring, 2005:
Math. 197, Individual Study (in logic)
Winter, 2005:
Math. 114A, Logic
Talk at
Millikan Middle School, 9/27/06
Project: Notes on computability theory.
Research interests:
computability theory (recursion theory),
definability theory,
models of analysis,
computational complexity,
history of logic.
List of publications.
Erdös number = 3
(via Harvey Friedman and Akos Seress).
Click here for my department page. And here is a recent photograph, and a family photograph.
Here are some political opinions.
