Publicado em: 13/03/2013

Prof. J.Y. Halpern da Cornell University palestra no INF

Nesta quarta-feira, 20/3, às 10h30min, o Professor Joe Y. Halpern, Chefe do Departamento de Ciência da Computação da Cornell University,  ministrará palestra sobre “A Brief Discussion of Building Excellence in CS and of Studying in the US”. A palestra faz parte das celebrações dos 40 anos do Programa de Pós-Graduação em Computação e acontecerá no Auditório do Prédio 67 do Instituto de Informática.

Palestra 2 – Dia 20/3 – quarta-feira
Título: A Brief Discussion of Building Excellence in CS and of Studying in the US
Local: Auditório do Prédio 67
Horário: 10h30min

Short Bio Do Palestrante:

Joseph Y. Halpern received a B.Sc. in mathematics from the University of Toronto in 1975 and a Ph.D. in mathematics from Harvard in 1981. In between, he spent two years as the head of the Mathematics Department at Bawku Secondary School, in Ghana. After a year as a visiting scientist at MIT, he joined the IBM Almaden Research Center in 1982, where he remained until 1996. He served as manager of the Mathematics and Related Computer Science Department at IBM from 1988-1990 and was a consulting professor at Stanford from 1984-1996. In 1996, he moved to Cornell University, where he is a professor in Computer Science, and is now department chair.

His major research interests are in reasoning about knowledge and uncertainty, qualitative reasoning, causality, belief revision, (fault-tolerant) distributed computation, game theory, decision theory, and security. Together with his former student, Yoram Moses, he pioneered the approach of applying reasoning about knowledge to analyzing distributed protocols and multi-agent systems. He has coauthored 5 patents, two books (“Reasoning About Knowledge” and “Reasoning about Uncertainty”), and over 130 journal publications and 170 conference publications. He was designated Highly Cited Researcher by the Institute for Scientific Information.

Halpern was program chair and organizer of the first conference on Theoretical Aspects of Reasoning about Knowledge, and program chair of the 5th ACM Symposium on Principles of Distributed Computing, the 23rd ACM Symposium on Theory of Computing, the 16th IEEE Symposium on Logic in Computer Science, and the 20th Conference on Uncertainty in AI. He received the ACM SIGART Autonomous Agents Research Award in 2011, Dijkstra Prize (joint with Yoram Moses) in 2009, the ACM/AAAI Newell Award in 2008, the Godel Prize (joint with Yoram Moses) in 1997, the Publishers’ Prize for Best Paper at at the International Joint Conference on Artificial Intelligence in 1985 (joint with Ronald Fagin) and in 1989, two best paper awards at the Conference on Knowledge Representation and Reasoning (2006 and 2012), and two IBM Outstanding Innovation Awards. He is a Fellow of AAAI (Association for the Advancement of Artificial Intelligence), AAAS (American Association for the Advancement of Science), ACM (Association for Computing Machinery), and IEEE, in 2001-02 was the recipient of a Guggenheim and a Fulbright Fellowship, and in 2009-10 was the Fulbright Distinguished Chair at Hebrew University. He was editor-in-chief of Journal of the ACM, and served on the editorial boards of Artificial Intelligence and Information and Computation. He currently serves on the editorial board of Journal of Logic and Computation, Games and Economic Behavior, and the Journal of Causal Inference.