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

Dipl.-Inform. Nico Wallmeier



 

I was a member of 'Wolfgang Thomas' research group for 'Logic and Theory of Discrete Systems' at the RWTH Aachen.

Research:

My research interests are infinite games and reactive systems.

Projects:

OmegaDet - a program for determinization of non-deterministic Büchi automata.
GASt - a experimental platform for automata and two person games (successor of OmegaDet and SymProg).

Private homepage:

www.wallmeier.net

Publications

Talks

Teaching (in German):

Sommer Semester 2003 Winter Semester 2003/4 Sommer Semester 2004 Winter Semester 2004/5 Sommer Semester 2005 Sommer Semester 2006 Winter Semester 2006/7

Back to the I7 Homepage


Nico Wallmeier
Disclaimer