|Computer Sciences VII
Logic and Theory of Discrete Systems
Prof. Dr. Wolfgang Thomas
I was a member of 'Wolfgang Thomas' research group for 'Logic and Theory of Discrete Systems' at the RWTH Aachen.
My research interests are infinite games and reactive systems.
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).
Back to the I7 Homepage