Constraint Programming: History, Principles and Applications

报告题目:Constraint Programming: History, Principles and Applications

报告人:Dr. Martin Henz(Associate Professor, National University of Singapore)

报告时间:2012年12月18日9:30

报告地点:学院会议室(望江校区基础教学大楼B314)

报告内容:

The field of constraint programming (CP) developed in the late 1980s out of programming language research, artificial intelligence and Operations Research. Originally conceived in the framework of logic programming (Prolog), CP developed in the past 20 years into a collection of optimization and problem solving techniques. This talk will introduce an audience of computer scientists to this history and will cover the principles that enable CP-based software solutions to optimize processes and solve problems in a wide variety of application domains.

The speaker will cover applications of CP in scheduling and timetabling and will conclude with case studies on the scope and limitations of CP in industrial practice, using examples from hospital management and workforce management.

报告人简介:

Martin Henz 在德国Saarland 大学获得数学和计算机本科学位后, 于1991年在美国纽约州立大学获得硕士学位,1997年在Saarland 大学获得博士学位。Henz曾经分别在德国人工智能研究中心和Saarland 大学担任研究科学家,同时设计和实现了并行约束编程语言Oz。1997年他加入新加坡国立大学计算学院,现在国大计算机系教授编程、程序语言和逻辑,研究组合优化搜索和程序演化。Henz于2011 加入新加坡国立大学为本科生提供的跨专业学习—博学计划,现在是该项目委员会副主任(该项目为主任负责制)