Collegiates

• Ibtissem Ben Makhlouf

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

• Sebastian Biallas

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

• Namit Chaturvedi

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

• Fabian Emmes

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

• Sascha Geulen

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

• Oliver Göbel

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

 

• Friedrich Gretz

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

• Sten Grüner

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:

 

• Christina Jansen

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

• Nils Jansen

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

• Benjamin Kaminski

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

• Ulrich Loup

Theory of Hybrid Systems
Email: ulrich.loup(at)cs.rwth-aachen.de
Tel: +49 (241) 80-21244
Fax: +49 (241) 80-22217
Research Topic:

 

• David Kampert

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

• Johanna Nellen

Theory of Hybrid Systems

Email: johanna.nellen(at)@informatik.rwth-aachen.de

Tel: +49 (241) 80-21244
Fax: +49 (241) 80-22243
Research Topic: Modular Synthesis and Analysis in Process Control Engineering

• Thomas Ströder

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

• Sabrina von Styp-Rekowski

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

• Sarah Winter

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