| 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 designer of the programming
language Constraint Handling Rules (CHR) and author of the book
by the same name. He has also co-authored two leading textbooks
on constraint programming and
reasoning that became standard references for the research area.
He has published more than 150 research papers, which have been cited more than 3000 times.
To date, he has given more than 80 invited talks and 80 contributed
talks. He has been involved in more
than 14 funded research
projects.
Thom Frühwirth obtained his Ph.D. in Computer Science at the Technical University of Vienna in 1990 after visiting the State University of New York at Stony Brook with a one-year Fulbright grant and the Weizmann Institute of Science. Then he was a researcher at the European Computer Industry Research Centre in Munich. In 1996, he joined the Ludwig Maximilians University in Munich. In 1998, he became assistant professor and subsequently held visiting positions at the universities of Pisa, Monash Melbourne, PUC Rio de Janeiro, and at the CWI research center in Amsterdam. Since 2002, he has been an associate professor at the University of Ulm, Germany. [Full CV, as of 2005]. |
Rule-based programming, Constraint programming,
Program analysis,
Constraint reasoning,
Computational logic.
Concurrency and coordination,
Innovative applications.
|
|
|
|
|
|
|
|
- Program committee member of 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013),
Kiel, Germany, September 11-13, 2013.
- Program committee member of 29th International Conference on Logic Programming (ICLP 2013), Istanbul, Turkey, August 24-29, 2013.
- Co-Organizer and Lecturer of 3rd CHR Summer School: programming and reasoning with rules and constraints, Register Now!
Berlin, Germany, July 8-13, 2013.
- Interdisziplinäres Projektseminar Computational Psychology,
SoSe, April-July 2013.
- Paper Highlight 2012:
Andrea Triossi, Salvatore Orlando, Alessandra Raffaeta, Thom Fruehwirth,
Compiling CHR to parallel hardware,
PPDP 2012: 14th International Symposium on Principles and Practice of Declarative Programming, ACM Press, 2012.
|
Thom Frühwirth, April 6, 2013. This page is part of a multi-frame html document.