1 2
Sergei Artemov Applications of Logic to Computer Science |
Melving Fitting Applications of Logic to Computer Science |
Janos Pach Discrete and Computational Geometry, Combinatorics |
Victor Pan Algebraic and Numerical Computation |
Rohit Parikh Applications of Logic to Computer Science |
Stathis Zachos Computational Complexity |