Prof. Dr. Dipl.-Ing. Thom Frühwirth

Institute of Software Engineering and Programming Languages
Faculty of Engineering, Computer Science and Psychology
Ulm University
89069 Ulm, Germany

@
Thom.Fruehwirth uni-ulm.de
www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/

Research Interests

The Craft of Reasoning and The Art of Programming

Computational logic, Rule-based programming, Constraint logic programming, Program analysis, Constraint reasoning.

Curriculum Vitae

Thom Frühwirth is the designer of the programming language and formalism Constraint Handling Rules (CHR) and author of the book by the same name. He has co-authored two leading textbooks on constraint programming and reasoning that became standard references for the research area. He is also known for his work in type theory and spatio-temporal reasoning. He is among the top researchers in Computational Logic. He is the editor of several books in this area. He has published more than 200 research papers with more than 4000 citations. To date, he has served on more than 100 program committees. He has given more than 100 invited talks. He has been involved in more than 15 publicly funded research projects.

Thom Frühwirth teaches and publishes since 1984. He 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 after an invitation to 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. There he became assistant professor in 1998 and subsequently held visiting positions at the universities of Pisa, Monash Melbourne, PUC Rio de Janeiro, and at the CWI research center in Amsterdam. In 2002 he became a professor at Ulm University, Germany. Since then he works together with members of the German University in Cairo. He is a member of the examination board and of the PhD committee for Computer Science since 2008. He also served on the examination board for Cognitive Systems. [Full CV, as of 2005].

Major Book Publications


The Computer Art of
Mason's Mark Design

Constraint Handling Rules

CHR - Compilation,
Execution, Analysis

Essentials of
Constraint Programming

Constraint-
Programmierung

Recent Book Editorships

Robert Kowalski: Logic for Problem Solving, Revisited
Kowalski: Logic for
Problem Solving, Revisited
Edward Tsang: Foundations of Constraint Satisfaction
Tsang: Foundations of
Constraint Satisfaction
Hariolf Betz: A Unified Analytical Foundation for Constraint Handling Rules
Betz: A Unified Analytical
Foundation for CHR

SWI Prolog
Reference Manual

SICStus Prolog
User's Manual

Some books mentioning Fruehwirth's work.

What's New?

- Digital Artificial Intelligence Abstract Art is now a contribution to the German Science Year 2019 on Artificial Intelligence of the Federal Ministry of Education and Research, April 2019.
- Program committee member of the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019), Bolzano, Italy, September 2019.
- Program committee member of the 22nd International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2019), Cottbus, Germany, September 2019.
- Current Research Topics and Theses, January 2019.
- Latest book: The Computer Art of Mason's Mark Design, 2018.

Archived News

Talk on CHR Applications

Computer knacken harte Nüsse - Von Sudoku über den Aktienhandel zum Robotersegeln, Video of talk on CHR applications (in German with English slides), also at iTunes U and TIB, Thom Frühwirth.

Online Tools and Demos

- Analyse&Predict: Simple Online Instant Data Mining Analysis Tool to explore csv spreadsheets
- VdGG: Graphical Mason's Mark Generator
- chrjs: Online Interactive Constraint Handling Rules (CHR) Demo Tool and JavaScript JIT CHR Compiler
- Multi-Purpose Online CHR Rule Translator
- Online Tool that inverts CHR rules for backwards reversible execution
- WebCHR: Classical Online Interactive Constraint Handling Rules Prolog Programming Demo Tool
- Constraint Handling Rules (CHR) bibliography and blog

Teaching since 1984

Currently teaching this semester

Topics for projects, Bachelor, Master and PhD theses

Recent Teaching in campusonline
Teaching since 2004 in campusonline (pdf archive only)
Teaching 1984 - 2005 listed in CV

Finally...

"The perfect crime is that of an unconditional realization of the world by the actu­alization of all data, the transformation of all our acts and all events into pure information: in short, the final solution, the resolution of the world ahead of time by the cloning of reality and the extermination of the real by its double."
The Perfect Crime, Jean Baudrillard, 1996


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