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

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

• Symbolic Synthesis of State Based Reactive Programs (including screenshots of the program)
• CIAA2003: Symbolic Synthesis of Finite-State Controllers for Request-Response Specifications
• CIAA2005: Observations on Determinization of Büchi Automata
• AG LuA: Optimal Strategies in Request-Response Games
• Oberseminar: Strategien in unendlichen Spielen mit Liveness-Bedingungen: Syntheseverfahren, Optimierungen und Implementierung

Teaching (in German):

• Softwarepraktikum: Visualisierung von Algorithmen

• ProSeminar: Effiziente Datenstrukturen für große Mengen
• Praktikum und Übung zu: Model-Checking

• Übung zu Automatentheorie und formale Sprachen
• Softwarepraktikum: Webprogrammierung und das Satzsystem Latex

• ProSeminar: Internet-Protokolle
• Informatikpraktikum für Mathematiker

• Softwarepraktikum: Webprogrammierung und das Satzsystem LaTeX

• Übungen zur Vorlesung Rekursiontheorie
• Softwarepraktikum: Webprogrammierung und das Satzsystem LaTeX

• ProSeminar: Petri-Netze
• Informatikpraktikum für Mathematiker

Back to the I7 Homepage