Publications

Google Scholar Citations

Selected Lectures

Research Problems

Plenary and Colloquium talks

Professional activities, grants

Ph.D. students and postdocs

Computer Science Colloquium

New York Logic Colloquium

Logical Foundations of Computer Science 2009

Computational Logic Seminar

Teaching

Pictures

Start page