1 2


Sergei Artemov

Applications of Logic to Computer Science

Sergei Artemov

Melving Fitting

Applications of Logic to Computer Science

Melving Fitting

 

Janos Pach

Discrete and Computational Geometry, Combinatorics

Janos Pach

 

Victor Pan

Algebraic and Numerical Computation

Victor Pan

 

Rohit Parikh

Applications of Logic to Computer Science

Rohit Parikh

 

Stathis Zachos

Computational Complexity