Thom Frühwirth is a professor of Computer Science at the University of Ulm, Germany. His research areas are Computational Logic and Constraint Programming. He is the designer of the logical formalism and programming language Constraint Handling Rules.http://www.constraint-handling-rules.org
Frank Raiser earned his PhD on CHR at the University of Ulm, Germany. He is now a software engineer with a strong computer science background. http://frankraiser.de