Mathematics
FO
Princeton University
SO
Purr
P
Finite model theory
Complexity classes
Applied mathematics