109 Altgeld Hall, MC-382
1409 W.Green Street
Urbana, IL 61801
Geometric group theory, computability theory, theory of automata, logic, formal language theory and their interconnections, combinatorial group theory, decision problems, automata theory and formal language theory, computational complexity.
I work on the numerous interactions between geometric group theory, the theory of computability and the theory of automata.
Ph.D. , University of Michigan
Simons Foundation Collaboration Grant
Awards and Honors
Guggenheim Fellow, Fellow of the American Mathematical Society