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	eab	21242
apl. Prof. Dr. Thomas Noll	noll	21213
Prof. em. Dr. Klaus Indermark	indermark	21250

Secretary

Name	Email	Phone
Elke Ohlenforst	ohlenforst	21201
Birgit Willms	willms	21201

Technical Support

Name	Email	Phone
Arnd Gehrmann	gehrmann	21205

DFG Research Training Group

Name	Email	Phone
Helen Bolke-Hermanns	bolke-hermanns	21004

Researchers

Name	Email	Phone
Philipp Berger, M.Sc.	berger	21206
Ir. Harold Bruintjes	h.bruintjes	21206
Dipl.-Inform. Christian Dehnert	dehnert	21203
Dipl.-Inform. Christina Jansen	christina.jansen	21209
Sebastian Junges, M.Sc.	sebastian.junges	21203
Benjamin Kaminski, M.Sc.	benjamin.kaminski	21208
Tim Lange, M.Sc.	tim.lange	21206
Christoph Matheja, M.Sc.	matheja	21210
Dr. Federico Olmedo	federico.olmedo	21208
Tim Quatmann, M.Sc.	tim.quatmann	21210
Matthias Volk, M.Sc.	matthias.volk	21212
Dipl.-Inform. Hao Wu	hao.wu	21202

Alumni

Guests

Name	Home institute
Ming Xu	East China Normal University, China
Fortunat Rajaona	University of Stellenbosch, South Africa
Pengfei Yang	Institute of Software at Chinese Academy of Sciences, China

Former Guests

Name	Home institute
Rémy Garnier	ENS Cachan, France
Xiaoxiao Yang	Chinese Academy of Sciences, Beijing, Humboldt Researcher
Victor Lanvin	ENS Cachan, France
Marco Tinacci	IMT Institute of Advanced Studies, Lucca, Italy
Cheng Weijie	Harbin Engineering University, China
Pedro R. D’Argenio	Universidad Nacional de Córdoba, Argentina
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