9月17日 林方真:Machine Theorem Discovery


报告人简介:

Fangzhen Lin is a Professor in the Department of Computer Science and Engineering at the Hong Kong University of Science and Technology. He is interested in AI, particularly in Knowledge Representation and Reasoning, and currently has related projects in computer program verification, game theory, and social choice theory. He received his PhD degree in computer science from Stanford University. He is a Fellow of AAAI, and received the Croucher Foundation Senior Research Fellowship award in 2006, a Distinguished Paper Award at IJCAI-97, a Best Paper Award at KR-2000, an Outstanding Paper Honorable Mention at AAAI-04, the Ray Reiter Best Paper award at KR-06, and an Honorable Mention for his planner R at the AIPS-2000 planning competition. He had served as Associate Editor of Artificial Intelligence and Journal of AI Research, and was program co-chairs of IJCAI 2015 KR Track, KR 2010 and LPNMR'09.

 




0