Joseph Halpern

Joseph Y. Halpern ( born 1953 ) is a Canadian computer scientist. He is a professor at Cornell University.

Halpern studied at the University of Toronto with a Bachelor 's degree in 1975, was then two years in Ghana, where he taught mathematics at a school as part of the Canadian University Services Overseas ( CUSO ) and continued his studies then at Harvard University, continue to the master's degree in 1979 and his doctorate at Albert Meyer ( and Gerald Sacks ) 1981 ( Axiomatic definition of programming languages ​​and logic of programs ). As a post-doctoral researcher at the same time he was at Harvard and the Massachusetts Institute of Technology (MIT). From 1982, he conducted research at IBM, where he remained until 1996 and was from 1987 to 1989 Manager of the Mathematics group at the IBM Almaden Research Center. At the same time he had visiting professorships and chairs advisory (consulting professor ) at Stanford University ( and 1990 in Toronto ). From 1996 he was a professor at Cornell University, where he was Chairman from 1996 to 2001 Co-Director of the Cognitive Studies Program and was from 2010 the computer science faculty.

He had been a guest professor at the Hebrew University of Jerusalem, 2001/ 02 at the CWI in Amsterdam

It deals with reflections on the concept of knowledge and uncertainty, especially in distributed systems as well as in game theory and artificial intelligence. He also deals with modal logic, decision theory, distributed computing ( and fault tolerance in distributed computing ), program verification, causality semantics of programming languages.

In 1997 he was awarded the Gödel Prize with Moses ( for the formal definition of the concept of knowledge in distributed systems ) and 2009 both received the Dijkstra Prize.

Writings

Moshe Y. Vardi Integrated Authority File
451903
de