报告题目： Constraint Programming on Infinite Data Streams and Applications
报告时间：2015年12月28日 上午9:30
报告地点：计算机楼A521
报告人：LEE, Jimmy Ho Man （李浩文） 教授 香港中文大学
报告人简介：
Jimmy Lee graduated on the Dean's Honours List with an Honours BMath degree, majoring both in Applied Mathematics and Computer Science, from the University of Waterloo, Canada, in 1987. He read his MMath degree in Computer Science in 1988 also from Waterloo. Now, Jimmy works in the Chinese University of Hong Kong, and he is a Professor in the Department of Computer Science and Engineering and a Professor (by courtesy) in the Department of Systems Engineering and Engineering Management.
Jimmy's research focuses on the theory and practice of constraint satisfaction and optimization with applications in combinatorial optimization, scheduling, and resource allocation. In particular, he is interested in problem modeling, stochastic local search, symmetry breaking, global constraints, and over-constrained problems. His latest contribution is the framework of Infinite Stream Constraint Programming. Jimmy is on the editorial boards of the Journal of Artificial Intelligence Research (AAAI Press), the Artificial Intelligence Review (Springer), and Research and Practice in Technology Enhanced Learning (World Scientific). He was on the editorial board of the CONSTRAINTS journal (Springer) during 2009-14 and of the Journal of Discrete Algorithms (Elsevier) during 2005-14. He was a founding editor of the Constraint Programming News with Eric Monfroy and Toby Walsh. Jimmy was an elected member of the Executive Committee of the Association for Constraint Programming during 2006-09, and served as the Secretary of the Association from 2006 to 2012. He is a Program Committee member of IAT 2015, AAAI 2016, AAMAS 2016, LION 10 (2016), IJCAI 2016, CP 2016 and DCPS 2016.
主办单位：吉林大学计算机科学与技术学院
吉林大学计算机科学技术研究所
吉林大学软件学院
符号计算与知识工程教育部重点实验室
