Collegiates

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