Principles and Methodologies - Staff

Research Staff

  • Amir Abboud: Complexity theory, Hardness in P, Fine-grained complexity
  • Miklos Ajtai (emeritus): Complexity theory, cryptography, lattice-based algorithms.
  • Ken Clarkson: Computational geometry, design and analysis of algorithms, optimization.
  • Ronald Fagin: Logic, complexity theory, database principles, reasoning about knowledge, information retrieval.
  • Phokion Kolaitis: Logic in computer science, computational complexity, database theory.
  • Nimrod Megiddo: Optimization, machine learning.
  • Thomas Steinke: differential privacy, pseudorandomness, adaptive data analyis.




Ron Fagin, IBM Fellow!

On April 10, 2012, theory group member Ron Fagin was named an IBM Fellow. This is IBM's highest technical distinction; there have been only 238 IBM Fellows since the program began in 1963. See here for more, and an interview with Ron.

Tribute to John Backus

A tribute to John Backus, one of the first members of our Theory Group, written by Alex Aiken