Lehrstuhl für Informatik VII Computer Sciences VII
Logic and Theory of Discrete Systems
Prof. Dr. Wolfgang Thomas
RWTH Aachen

Dr. rer. nat. Stefan Wöhrle


Address

  Office Mail Address  
  Room 4115
Ahornstr. 55
52074 Aachen
phone: +49 241 80-21712
fax: +49 241 80-22215
email: woehrle (at) informatik.rwth-aachen.de
Stefan Wöhrle
RWTH Aachen
Lehrstuhl für Informatik VII
52056 Aachen
 


 

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.

Research:

My research activities concentrated on infinite state verification, decidable classes of infinite graphs, and finite model theory.

Publications

Teaching:

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

Summer Semester 2001


Back to the I7 Homepage Disclaimer