|Computer Sciences VII
Logic and Theory of Discrete Systems
Prof. Dr. Wolfgang Thomas
phone: +49 241 80-21712
fax: +49 241 80-22215
email: woehrle (at) informatik.rwth-aachen.de
Lehrstuhl für Informatik VII
From Jan 2001 to Dec 2005 I was a member of Wolfgang Thomas' research group for 'Logic and Theory of Discrete Systems' at the RWTH Aachen.
Now I am working as a software engineer in the working group on fail-safe operating systems at Pilz GmbH in the field of safe and integrated automation.
The email adress above remains valid and will be checked from time to time.
My research activities concentrated on infinite state verification, decidable classes of infinite graphs, and finite model theory.
Winter Semester 2005/2006
Summer Semester 2005
Winter Semester 2004/2005
Summer Semester 2004
Winter Semester 2003/2004
Summer Semester 2003
Winter Semester 2002/2003
Summer Semester 2002
Winter Semester 2001/2002
|Back to the I7 Homepage||Disclaimer|