The American Academy of Arts & of Sciences has announced its 2015 class of members. The recipients of this prestigious honor include eight logicians:
- Sanjeev Arora (Computer Science, Princeton University) works in complexity theory, and is especially known for his work on probabilistically checkable proofs. He previously won the Gödel Prize for his work on interactive proof systems.
- László Babai (Computer Science, University of Chicago) works in computational complexity theory, graph theory, and combinatorics. He previously won the Gödel Prize for his work on interactive proof systems.
- Joseph Y. Halpern (Computer Science, Cornell University) works on knowledge representation, epistemic and temporal modal logic, and reasoning under uncertainty. He previously won the Gödel Prize (I sense a pattern!) for his work on reasoning about distributed systems.
- Hans Kamp (Linguistics, Universität Stuttgart) has made seminal contributions to formal semantics and modal logic. He previously won the Prix Jean Nicod.
- John MacFarlane (Philosophy, University of California, Berkeley) works on the philosophy of logic and language. He also wrote pandoc.
- Tim Maudlin (Philosophy, NYU) is a philosopher of science and logic; in logic specifically, he has worked on truth and paradox.
- Joseph Sifakis (École Polytechnique Fédérale de Lausanne and CNRS) works in formal verification and model checking. He was previously awarded the Turing Award.
- Johan van Benthem (ILLC, Universiteit van Amsterdam and Philosophy Stanford University) is a pure and applied logic all-star, working mainly on modal logic and logic & language. In addition to a number of other honours, he was knighted in 2014.