Computation by First-order Logic

时间：4月27日（周一）9:00-12:00

地点：17幢718

主讲人：陈翌佳，上海交通大学计算机学院教授，主要研究兴趣为计算机与数学的交叉领域，包括逻辑、算法与计算复杂性。目前担任 Logic Methods in Computer Science 、Theory of Computing Systems 两本国际期刊编委，并多次担任计算机科学逻辑领域的旗舰国际会议LICS的程序委员。曾获微软青年教授奖，理论计算机国际会议ICALP及图论国际会议WG最佳论文奖。