David Harel - 专知主题

哈雷尔教授是以色列科学与人文学院的副院长，自1980年以来一直在魏茨曼科学研究所工作，过去担任数学和计算机科学学院的院长。他的研究领域包括逻辑和可计算性、软件和系统工程、生物系统建模、气味复制等等。他的著作包括《Algorithmics: The Spirit of Computing》和《Computers Ltd.: What They?Really? Can't Do》。所获奖项包括ACM杰出教育家奖、以色列奖、ACM软件系统奖和五个荣誉学位。他还是英国皇家学会(FRS)的会员，以及美国国家工程学院、美国艺术与科学学院和美国国家科学院的外国成员。