Chair of Computer Science 11
Email: makhlouf(at)embedded.rwth-aachen.de
Tel: +49 (241) 80-21167
Fax: +49 (241) 80-22150
Research Topic: Erreichbarkeitsanalyse hybrider Systeme
Chair of Computer Science 11
Email: biallas(at)embedded.rwth-aachen.de
Tel: +49 (241) 80-21158
Fax: +49 (241) 80-22150
Research Topic: Formal Verification of PLC Programs using Model-Checking and Static Analysis
Chair of Computer Science 7
Email chaturvedi(at)automata.rwth-aachen.de
Tel: +49 (241) 80-21706
Fax: +49 (241) 80-22215
Research Topic: Algorihmic Synthesis in Distributed Computing
Programming Languages and Verification
Email: emmes(at)informatik.rwth-aachen.de
Tel: +49 (241) 80-21241
Fax: +49 (241) 80-22217
Research Topic: Synthesizing Complexity Bounds for Programs
Chair of Computer Science 1
Email: sgeulen(at)informatik.rwth-aachen.de
Tel: +49 (241) 80-21111
Fax: +49 (241) 80-22216
Research Topic: Online Learning for Hybrid Cars
Chair of Computer Science 1
Email: goebel(at)cs.rwth-aachen.de
Tel: +49 (241) 80-21102
Fax: +49 (241) 80-22216
Research Topic: Approximation Algorithms for Combinatorial Auctions
Chair of Computer Science 2
Email: gretz(at)cs.rwth-aachen.de
Tel: +49 (241) 80-212xx
Fax: +49 (241) 80-22217
Research Topic: Invariant Generation for Probabilistic Programs
Chair of Process Control Engineering
Email: s.gruener(at)plt.rwth-aachen.de
Tel: +49 (241) 80-97745
Fax: +49 (241) 80-92238
Research Topic:
Chair of Computer Science 2
Email: Christina.Jansen(at)informatik.rwth-aachen.de
Tel: +49 (241) 80-21212
Fax: +49 (241) 80-2217
Research Topic: Analysis and Verification of Heap-Manipulating Programs
Theory of Hybrid Systems
Email: nils.jansen(at)cs.rwth-aachen.de
Tel: +49 (241) 80-21243
Fax: +49 (241) 80-22217
Research Topic: Synthesis for Probabilistic Systems
Software Modeling and Verification
Email: benjamin.kaminski(at)informatik.rwth-aachen.de
Tel: +49 (241) 80-21208
Fax: +49 (241) 80-22217
Research Topic: Automata theory, Recursion theory, Logic
Theory of Hybrid Systems
Email: ulrich.loup(at)cs.rwth-aachen.de
Tel: +49 (241) 80-21244
Fax: +49 (241) 80-22217
Research Topic:
PLT
Email: david.kampert(at)plt.rwth-aachen.de
Tel: +49 (241) 80-97618
Fax: +49 (241) 80-92238
Research Topic: Modelling and accessing technical properties in Process Control Engineering
Research Group Computer Science 2
Email: stroeder(at)informatik.rwth-aachen.de
Tel: +49 (241) 80-21241
Fax: +49 (241) 80-22217
Research Topic: Graph-based Methods for Analysis and Synthesis of Programs
Chair of Computer Science 2
Email: von-styp(at)cs.rwth-aachen.de
Tel: +49 (241) 80-21212
Fax: +49 (241) 80-22217
Research Topic: Aspects of Timed and Symbolic Systems
Chair of Computer Science 7
Email: winter(at)automata.rwth-aachen.de
Tel: +49 (241) 80-21716
Fax: +49 (241) 80-22215
Research Topic: Synthesis of Tree Transducers