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 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].

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, 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.

Current Projects

- 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.
- Deklarative Modellierung und effiziente Optimierung (MOC 2008), Munich, Germany, September 2008.
- Fifth Workshop on Constraint Handling Rules (CHR 2008), at RTA 2008, Hagenberg/Linz, Austria, July 2008.

Thom Frühwirth, November 20, 2008. This page is part of a multi-frame html document.