## 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