Prof. Dr. Thom Frühwirth

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.Fruehwirth uni-ulm.de
www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/
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 120 papers and has been involved in more than 14 funded research projects. To date, he has given about 75 invited talks and 75 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].

Research Interests

The Craft of Reasoning
The Art of Programming

Constraint programming
Program analysis
Constraint reasoning
Computational logic

Concurrency and coordination
Innovative applications

What's New?

- New Publications, September 2007.
- Thom Frühwirth's book about Constraint Handling Rules (CHR), published by Cambridge University Press, to appear 2008.
- 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.
- CHR Constraint Research Team website, August 2006.
- DFG Project GLOB-CON - Rule-Based Propagation of Global Constraints, June 2006-2008.
- Constraint Handling Rules - The Story So Far, [Slides], Invited Tutorial at PPDP'06, July 2006; also Invited Talk at Universita Ca' Foscari, Venice, May 2006.
- DAAD/CAPES Project ROARS - Reuse-Oriented Automated Reasoning Software, March 2006-2008.

Program Committees

- Constraint Solving and Programming track at the 23rd Annual ACM Symposium on Applied Computing, Fortaleza, Brazil, March 2008.
- The 13th International Conference on Principles and Practice of Constraint Programming (CP'2007), Providence, RI, USA, September 2007.
- Fourth Workshop on Constraint Handling Rules (CHR 2007), Porto, Portugal, September 2007.

Thom Frühwirth, September 26, 2007. This page is part of a multi-frame html document.