UC Irvine - Set theory.

MIT - Complexity theory.

University of Manchester - Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic.

Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.

University of Illinois, Chicago - Model theory (finite and infinite).

Boise State University - Set theory.

University of Michigan, Ann Arbor - Set theory, finite combinatorics, theoretical computer science.

CNRS / University of Paris 7 - Model theory and algebraic geometry.

University of Notre Dame - Model theory.

University of Waterloo - Universal algebra, logic, computers.