Name | Job title | Research area | Role | Research interests |
---|---|---|---|---|
John W. Addison Jr. | Professor Emeritus | Mathematical Logic | Emeritus Faculty, Senate Faculty |
Theory of definability, Descriptive set theory, Model theory, Recursive function theory |
George M. Bergman | Professor Emeritus, Professor of the Graduate School | Algebra, Mathematical Logic | Emeritus Faculty, Senate Faculty |
Associative rings, Universal algebra and category theory, Counterexamples |
Gabriel Goldberg | Assistant Professor | Mathematical Logic | Senate Faculty |
Set theory, large cardinals, inner model theory, infinite combinatorics |
Leo Anthony Harrington | Professor Emeritus | Mathematical Logic | Emeritus Faculty, Senate Faculty |
Recursion theory, Model theory, Set theory |
Andrew Marks | Professor | Mathematical Logic | Senate Faculty |
Descriptive set theory and connections with computability, combinatorics, ergodic theory, operator algebras |
Ralph McKenzie | Professor Emeritus | Mathematical Logic, Algebra | Emeritus Faculty, Senate Faculty |
General algebra, Logic |
Antonio Montalbán | Professor | Mathematical Logic | Senate Faculty |
Mathematical logic, computability theory |
Thomas Scanlon | Professor | Mathematical Logic, Algebra | Officer, Vice-Chair for Graduate Affairs, Senate Faculty |
Model theory and applications to number theory |
Theodore A. Slaman | Professor Emeritus | Mathematical Logic | Emeritus Faculty, Senate Faculty |
Recursion theory, mathematical logic |
Robert M. Solovay | Professor Emeritus | Mathematical Logic | Emeritus Faculty, Senate Faculty |
Mathematical Logic |
John R. Steel | Professor Emeritus | Mathematical Logic | Emeritus Faculty, Senate Faculty |
Set theory, Descriptive set theory, Fine structure |
W. Hugh Woodin | Professor Emeritus | Mathematical Logic | Emeritus Faculty, Senate Faculty |
Set theory, Large cardinals, Mathematical logic |