research area of
- Kozen, Dexter Campbell, Joseph Newton Pew, Jr. Professor in Engineering, Computer Science (COM S)
- Nerode, Anil, Goldwin Smith Professor of Mathematics, Mathematics (MATH)
- Shore, Richard A., Professor, Mathematics (MATH)
logic
Engineering/Physical Sciences Research Area
- Overview