| Programmiermethodik
und Compilerbau Fakultät für Ingenieurwissenschaften und Informatik Universität Ulm D-89069 Ulm, Germany Tel: +49-731-50-24161 Fax: +49-731-50-24162
|
| Thom Frühwirth is the creator of the programming
language Constraint Handling Rules (CHR) and has co-authored two
books on constraint programming
and reasoning. He has published more than 130 papers and has been involved in more than 14 funded research projects.
To date, he has given about 80 invited talks and 80 contributed
talks.
Thom Frühwirth obtained his Ph.D. in Computer Science at the Technical University of Vienna in 1990. Then he worked at the European Computer Industry Research Centre in Munich. In 1996 he joined the Ludwig Maximilians University in Munich, where he became assistant professor and held visiting positions in Italy, Australia, The Netherlands and Brazil. Since 2002, he is an associate professor at the University of Ulm, Germany. [Full CV]. |
|
|
The Craft of Reasoning The Art of Programming Constraint programming |
|
|
- New Publications, November 2008. - Thom Frühwirth's book about Constraint Handling Rules (CHR), published by Cambridge University Press, is to appear soon. - CHR Constraint Research Team, another Version from 2006. - FWO-Project Termination Analysis for Constraint Handling Rules, project partner of KU Leuven, Belgium, 2008-2011. - FWO-Project Platform independent analysis and implementation of Constraint Handling Rules, project partner of KU Leuven, Belgium, 2007-2010. - DFG Project GLOB-CON - Rule-Based Propagation of Global Constraints, 2006-2008. - DAAD/CAPES Project ROARS - Reuse-Oriented Automated Reasoning Software, 2006-2008. Program Committees - Constraint
Solving and Programming track at the 24rd Annual ACM Symposium on Applied
Computing, Honolulu, Hawaii, USA, March 2009. |
Thom Frühwirth, November 20, 2008. This page is part of a multi-frame html document.