V3 Ã2, 6 ECTS - Fachgruppe Informatik an der RWTH Aachen
V3 Ã2, 6 ECTS - Fachgruppe Informatik an der RWTH Aachen
V3 Ã2, 6 ECTS - Fachgruppe Informatik an der RWTH Aachen
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Lehrstuhl <strong>Informatik</strong> 7<br />
Logik und Theorie diskreter Systeme<br />
Prof. Dr. Wolfg<strong>an</strong>g Thomas<br />
Research<br />
areas:<br />
General<br />
Information<br />
Automata theory<br />
Automatic program verification <strong>an</strong>d synthesis<br />
Infinite games <strong>an</strong>d reactive systems<br />
Logic in computer science<br />
Office hour:<br />
Mon 11:15 – 12:15 h<br />
URL: http://www.automata.rwth-aachen.de