*
...[I]t is true that computer science in its theoretical formulation
is dominated by a spirit of abstraction which defers to no other
branch of mathematics in its zealotry.
*-- Davis and Hersh, "The Mathematical Experience"

My research interests are varied but I am primarily a computational
complexity theorist. (To be absolutely pedantic, I'm primarily a
*structural* complexity theorist.) Most of my work to date has
involved showing relativized failures of various complexity
theoretical propositions. What this means and why I think this work
is important will have to wait until I have some time to write a
thorough explanation (justification?). I hope to do that sometime before the
next solar transit of Venus.

My Erdõs number is 3 (the chain: Me - Lance Fortnow - Laci Babai - PE). My Fortnow number is 1; my extended Fortnow number is 0.25.

Following is a list of areas that I have at one time or another thought and written about.

- Structural complexity theory, especially one-way functions and the Berman-Hartmanis isomorphism conjecture
- Constructive logic
- Kolmogorov complexity and its applications
- Quantum computation
- Graph theory, especially graph coloring

- Research in CTI at DePaul; this includes a link to CTI's tech report library.
- Theoretical Computer Science at CTI, DePaul
- The complexity zoo (when you need to know what the complexity class AWPP really is)
- Lance Fortnow's complexity web log
- Computational Complexity Conference permanent web site