People

Prefix the internal numbers with +49 241 80
Append @cs.rwth-aachen.de to the e-mail addresses.

Professors

Name Email Phone
Prof. Dr. Ir. Dr. h. c. Joost-Pieter Katoen katoen 21200
Prof. Dr. Jürgen Giesl giesl 21230
Prof. Dr. Erika Ábrahám abraham 21242
apl. Prof. Dr. Thomas Noll noll 21213
Prof. em. Dr. Klaus Indermark indermark 21250

Secretary

Name Email Phone
Elke Ohlenforst ohlenforst 21201
Sandra Claaßen claassen 21211

Research Training Group UnRAVeL

Name Email Phone
Helen Bolke-Hermanns bolke-hermanns 21004
Birgit Willms willms 21211

Researchers

Name Email Phone
Kevin Batz, M.Sc. kevin.batz 21206
Jana (Philipp) Berger, M.Sc. berger 21206
Alexander Bork, M.Sc. alexander.bork 21252
Christopher Brix brix 21251
Dr. Mingshuai Chen chenms 21208
Ira Fesefeldt, M.Sc. fesefeldt 21204
Shahid Khan, M.Sc. shahid.khan 21212
Lutz Klinkenberg, M.Sc. lutz.klinkenberg 21221
Tim Quatmann, M.Sc. tim.quatmann 21210
Bahare Salmani, M.Sc. salmani 21202
Philipp Schroer, M.Sc. phisch 21222
Jip Spel, M.Sc. jip.spel 21205
Tobias Winkler, M.Sc. tobias.winkler 21205

Alumni

Guests

Name Home institute
Deep Karkhanis  IIT Bombay, India

Former Guests

Name Home institute
Jip Spel  University of Twente, NL
Anna Lukina  TU Vienna, Austria
Predrag Filipovikj  Mälardalen University, Sweden
Joshua Peignier ENS Rennes, F
Ming Xu East China Normal University, China
Fortunat Rajaona  University of Stellenbosch, South Africa
Pengfei Yang Institute of Software at Chinese Academy of Sciences
Yong Li Institute of Software at Chinese Academy of Sciences
Rémy Garnier ENS Cachan, F
Xiaoxiao Yang Institute of Software at Chinese Academy of Sciences, Humboldt Researcher
Victor Lanvin ENS Cachan, F
Marco Tinacci IMT Institute of Advanced Studies, Lucca, I
Cheng Weijie Harbin Engineering University, P.R. China
Pedro R. D’Argenio Universidad Nacional de Córdoba, Arg
Daniel Stan ENS Cachan, F
Andreas Classen University of Namur, B
Hua Mao Aalborg University, DK
Prof. Dr. Fausto Spoto Università di Verona, I
Beatriz Alarcón Technical University Valencia, ES
Varun Aggarwala IIT Guwahati, IN
Raúl Gutiérrez Technical University Valencia, ES
Benoit Barbot ENS Cachan, F
Etienne Lozes ENS Cachan, F

Current HiWis and thesis students (internal)