Computer Sciences VII Logic and Theory of Discrete Systems Prof. Dr. Wolfgang Thomas

Dr. rer. nat. Stefan Wöhrle

Address

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

• Exercises for Automata on Infinte Words
  This job is now done by Philipp Rohde.
• Seminar on Automata and XML

Summer Semester 2005

• Beginners Seminar on Computability and Complexity
  for excellent students at the Bonn-Aachen International Center for Information Technology
• Seminar on Automata Theory

Winter Semester 2004/2005

• Exercises for Computability and Complexity
• Seminar on Automata Theory

Summer Semester 2004

• Seminar on Automata Theory
• Practical Course: Web Programming and Typesetting with LaTeX

Winter Semester 2003/2004

• Exercises for Automata on Infinite Objects
• Seminar on Automata and Semistructured Data (XML)

Summer Semester 2003

• Seminar on Automata Theory

Winter Semester 2002/2003

• Exercises for Automata and Reactive Sustems
• Seminar on Automata theory

Summer Semester 2002

• Exercises for Applied Automata Theory
• Seminar on Automata Theory

Winter Semester 2001/2002

• Beginners seminar on Pattern-Matching mit Anwendungen in der Bio-Informatik.

• Seminar on Automata Theory