Joseph Halpern (Prof., CS) was named an AAAS Fellow in December. The award recognizes his research which focuses on reasoning about knowledge and uncertainty, and its applications to distributed computing, AI, security, and game theory.
Halpern has also done work (and continues to be interested in) such topics as fault tolerance in distributed computing, modal logic, program verification, and programming language semantics. His work lies at the boundary of a number of fields.
He will receive the honor at a ceremony in February in St. Louis. Halpern came to Cornell in 1996 from a position with IBM.
"While at IBM, I was also teaching at Stanford," said Halpern. "I knew I wanted to be in academia, and I knew I wanted to teach good students."