Mathematical logic is the study of the strengths and limitations of formal languages, proofs, and algorithms and their relationships to mathematical structures. It also aims to address foundational issues in mathematics.
Logic relates to theoretical computer science through computability theory and proof theory, to algebra, number theory, and algebraic geometry through model theory, and to analysis and ergodic theory through set theory and infinite combinatorics.
Faculty Members
Robert L. Constable | Type theory and automated reasoning |
Joseph Halpern | AI, security, and game theory |
Dexter Kozen | Computational theory, computational algebra and logic, logics and semantics of programming languages |
Justin Moore | Set theory, mathematical logic, and group theory |
Anil Nerode | Mathematical logic, computability theory, computer science, mathematics of AI, control engineering, quantum control of macroscopic systems |
Slawomir Solecki | Logic |
Emeritus and Other Faculty
Richard A. Shore | Mathematical logic, recursion theory, effective and reverse mathematics, set theory |
Activities and Resources:
- Logic Seminar
- Theory of Computing research group (Computer Science)
- Database Systems research group (Computer Science)
- Artificial Intelligence research group (Computer Science)
Related people
![Image of Romin Abdolahzadi](https://people.as.cornell.edu/files/second/styles/person_image/public/romin-abdolahzadi.jpg?itok=J2IF7ndu)
Ph.D Candidate
![Image of Robert L. Constable](https://people.as.cornell.edu/files/second/styles/person_image/public/robert-l-constable.jpg)
Professor
![Image of Robert L. Constable](https://people.as.cornell.edu/files/second/styles/person_image/public/robert-l-constable.jpg?itok=n8Xca0I2)
Professor
![Image of Anthony Graves-McCleary](https://people.as.cornell.edu/files/second/styles/person_image/public/anthony-graves-mccleary.jpg?itok=Br3QG7db)
Ph.D. Candidate
![Image of Joseph Halpern](https://people.as.cornell.edu/files/second/styles/person_image/public/joseph-halpern.jpg)
Professor
![Image of Joseph Halpern](https://people.as.cornell.edu/files/second/styles/person_image/public/joseph-halpern.jpg?itok=JTQjU0-x)
Professor
![Image of Dexuan Hu](https://people.as.cornell.edu/files/second/styles/person_image/public/dexuan-hu.jpg?itok=1EO-wmVv)
Ph.D. Candidate
![Image of Sumun Iyer](https://people.as.cornell.edu/files/second/styles/person_image/public/sumun-iyer.jpg)
Ph.D. Candidate
![Image of Hanul Jeon](https://people.as.cornell.edu/sites/default/files/styles/person_image/public/2021-11/jeon-web.jpg)
Ph.D. Candidate
![Image of Sebastian Junge](https://people.as.cornell.edu/files/second/styles/person_image/public/sebastian-junge.jpg?itok=VqYHpc3P)
Ph.D. Candidate
![Image of Dexter Kozen](https://people.as.cornell.edu/files/second/styles/person_image/public/dexter-kozen.jpg)
Joseph Newton Pew, Jr. Professor in Engineering
![Image of Dexter Kozen](https://people.as.cornell.edu/files/second/styles/person_image/public/dexter-kozen.jpg?itok=FGLJkvBh)
Joseph Newton Pew, Jr. Professor in Engineering
![Image of Justin Moore](https://people.as.cornell.edu/sites/default/files/styles/person_image/public/2023-04/IMG_20230419_095539 small.jpg)
Professor
![Image of Anil Nerode](https://people.as.cornell.edu/sites/default/files/styles/person_image/public/anil-nerode.jpg)
Distinguished Professor of Arts and Sciences in Mathematics
![Image of Márk Poór](https://people.as.cornell.edu/sites/default/files/styles/person_image/public/2023-08/img2276-small.jpg)
H.C. Wang Assistant Professor
![Image of Mark Schachner](https://people.as.cornell.edu/files/second/styles/person_image/public/2021-11/schachner-web.jpg)
Ph.D. Student
![Image of Luke Serafin](https://people.as.cornell.edu/sites/default/files/styles/person_image/public/luke-serafin.jpg)
Ph.D. Candidate
![Image of Richard A. Shore](https://people.as.cornell.edu/files/second/styles/person_image/public/richard-a-shore.jpg)
Goldwin Smith Professor Emeritus of Mathematics
![Image of Slawomir Solecki](https://people.as.cornell.edu/files/second/styles/person_image/public/slawomir-solecki.jpg)
Professor