2019年11月13日下午，美國康奈爾大學(xué)（Cornell University）計算機(jī)學(xué)院Joseph Halpern教授來我校太陽集團(tuán)tyc5997訪問，并在翡翠科教樓A樓第四會議室做了題為“Actual Causality: A Survey”的學(xué)術(shù)報告。太陽集團(tuán)tyc5997王浩教授、安寧教授、俞奎教授、吳共慶老師、李培培老師、李磊老師、吳克偉老師、楊矯云老師、吳樂老師、胡珍珍老師等與學(xué)院相關(guān)專業(yè)碩博士研究生共計八十多人參加了報告會。
在報告中，Halpern教授首先介紹了因果關(guān)系的定義，分析了因果關(guān)系如何建模并應(yīng)用于真實案例，并探討了因果關(guān)系面臨的問題及發(fā)展方向。Halper教授的報告引起了在座師生的濃厚興趣，大家分別就自己感興趣的問題與Halpern教授進(jìn)行了熱烈的交流互動。
Joseph Halper教授是美國康奈爾大學(xué)計算機(jī)學(xué)院教授、美國國家工程院院士（Fellow ofthe US National Academy of Engineering）、美國科學(xué)藝術(shù)研究院院士（Fellow of the American Academy of Arts and Sciences）、AAAI Fellow、AAAS Fellow、ACM Fellow、IEEE Fellow、Fellow ofthe Game Theory Society、SAET Fellow。他的研究聚焦在知識與不確定性推理、分布式計算、以及決策論與博弈論。他出版了3本專著，發(fā)表了360余篇論文，獲得了Kampe de Feriet Award（2016年），ACM/SIGART智能體研究獎(ACM/SIGART Autonomous Agents Research Award 2011)，the Dijkstra Prize（2009年）, ACM/AAAI Newell Award（2008年），哥德爾獎（Godel Prize 1997），兩次獲得IJCAI最佳論文獎（1985年與1991年），兩次獲得知識表示與推理會議（Knowledge Representation and Reasoning Conference）最佳論文獎（2006年與2012年）。他曾是頂級期刊Journal of the ACM的主編(1997-2003)，曾是計算機(jī)科學(xué)理論領(lǐng)域頂級會議Symposium on Theory of Computing (STOC)和Logic in Computer Science (LICS)的程序委員會主席，以及Uncertainty in AI (UAI), Principles of Distributed Computing (PODC), Theoretical Aspects of Rationality and Knowledge (TARK)等國際著名會議的程序委員會主席。他也是預(yù)印本數(shù)據(jù)庫arxiv.org中計算機(jī)學(xué)科論文庫CoRR的發(fā)起者和管理者。
TOP
