UnRAVeL Team

	Name	Position	Contact
	Abraham, Erika	Universitätsprofessorin	Tel.: +49 241 80 21242 Fax: +49 241 80 22243 abraham@informatik.rwth-aachen.de Webseite
©Copyright:aix-klusiv	Anapolska, Mariia	Student Assistant	Webseite
	Battermann, Felix	Student Assistant	felix.battermann@rwth-aachen.de Webseite
	Bister, Valentin	Student Assistant	Webseite
	Bolke-Hermanns, Helen M.	Program Coordinator Mathematical and Technical IT Specialist	Tel.: +49 241 80 21004 helen.bolke-hermanns@informatik.rwth-aachen.de Webseite
	Büsing, Christina	Supervisor Professorin als Juniorprofessorin	Tel.: +49 241 80 93441 Fax: +49 241 80 92136 buesing@math2.rwth-aachen.de Webseite
	Comis, Martin M. Sc. RWTH	Associate doctoral researcher	Tel.: +49 241 80 96343 Fax: +49 241 80 92136 comis@math2.rwth-aachen.de Webseite
	Dannert, Katrin M. Sc. RWTH	Associate doctoral researcher	Tel.: +49 241 80 21709 Fax: +49 241 80 22215 dannert@logic.rwth-aachen.de Webseite
	Ebert, Tristan	Student Assistant	tristan.ebert@rwth-aachen.de Webseite
	Fischer, Dennis M. Sc. RWTH	Doctoral researcher	Tel.: +49 241 80 21108 Fax: +49 241 80 22216 fischer@algo.rwth-aachen.de Webseite
	Friesen, Nadine M. Sc. RWTH	Doctoral researcher	Tel.: +49 241 80 25139 Fax: +49 241 80 22292 friesen@via.rwth-aachen.de Webseite
	Fuchs, Janosch M. Sc. RWTH	Associate doctoral researcher	Tel.: +49 241 80 21115 Fax: +49 241 80 22216 fuchs@algo.rwth-aachen.de Webseite
	Giesl, Jürgen	Supervisor Universitätsprofessor	Tel.: +49 241 80 21230 Fax: +49 241 80 22217 giesl@informatik.rwth-aachen.de Webseite
	Grädel, Erich	Supervisor Universitätsprofessor	Tel.: +49 241 80 21730 Fax: +49 241 80 22215 graedel@logic.rwth-aachen.de Webseite
	Grohe, Martin	Supervisor Universitätsprofessor	Tel.: +49 241 80 21700 Fax: +49 241 80 22215 grohe@informatik.rwth-aachen.de Webseite
	Grüne, Christoph M. Sc. RWTH	Doctoral researcher	Tel.: +49 241 80 93436 Fax: +49 241 80 92136 gruene@math2.rwth-aachen.de Webseite
	Haehn, Rebecca M. Sc. RWTH	Doctoral researcher	Tel.: +49 241 80 21243 haehn@cs.rwth-aachen.de Webseite
	Hark, Marcel M. Sc.	Doctoral researcher	Tel.: +49 241 80 21214 Fax: +49 241 80 22217 marcel.hark@cs.rwth-aachen.de Webseite
	Hofmann, Till M. Sc.	Associate doctoral researcher	Tel.: +49 241 80 21533 hofmann@kbsg.rwth-aachen.de Webseite
	Immel, Alexander	Student Assistant	Webseite
	Katoen, Joost-Pieter	Speaker & Supervisor Universitätsprofessor	Tel.: +49 241 80 21200 Fax: +49 241 80 22217 katoen@cs.rwth-aachen.de Webseite
	Klinger, Andreas M. Sc. RWTH	Doctoral researcher	Tel.: +49 241 80 20790 Fax: +49 241 80 22731 klinger@itsec.rwth-aachen.de Webseite
	Krabs, Tabea M. Sc. RWTH	Associate doctoral researcher	Tel.: +49 241 80 93435 Fax: +49 241 80 92136 krabs@math2.rwth-aachen.de Webseite
	Lakemeyer, Gerhard Ph. D.	Supervisor Universitätsprofessor	Tel.: +49 241 80 21530 Fax: +49 241 80 22321 gerhard@informatik.rwth-aachen.de Webseite
	Lehmann, Johannes	Student Assistant	Webseite
©© Valentin Bister	Lindner, Peter M. Sc.	Doctoral researcher	Tel.: +49 241 80 21716 Fax: +49 241 80 22215 lindner@cs.rwth-aachen.de Webseite
	Liu, Daxin M. Sc.	Doctoral researcher	Tel.: +49 241 80 21531 liu@kbsg.rwth-aachen.de Webseite
	Löding, Christof	Supervisor Privatdozent	Tel.: +49 241 80 21712 Fax: +49 241 80 22215 loeding@informatik.rwth-aachen.de Webseite
	Meyer, Fabian	Student Assistant	Webseite
	Meyer, Ulrike	Universitätsprofessorin	Tel.: +49 241 80 20783 Fax: +49 241 80 22731 meyer@itsec.rwth-aachen.de Webseite
	Morel, Anaïs	Student Assistant	Webseite
©Richard Müllen	Müllen, Richard	Student Assistant	richard.muellen@rwth-aachen.de Webseite
	Nalbach, Jasper	Associated doctoral researcher	Nalbach@cs.rwth-aachen.de Webseite
©Claudia Fahlbusch	Nießen, Nils	Supervisor Universitätsprofessor	Tel.: +49 241 80 25190 Fax: +49 241 80 22292 niessen@via.rwth-aachen.de Webseite
	Peis, Britta	Supervisor Universitätsprofessorin	Tel.: +49 241 80 93392 britta.peis@oms.rwth-aachen.de Webseite
	Pirogov, Anton M. Sc.	Doctoral researcher	Tel.: +49 241 80 21707 Fax: +49 241 80 22215 pirogov@cs.rwth-aachen.de Webseite
	Ravindran Vijayalakshmi, Vipin M. Sc.	Doctoral researcher	Tel.: +49 241 80 97942 vipin.rv@oms.rwth-aachen.de Webseite
	Ritzert, Martin M. Sc. RWTH	Associate doctoral researcher	Tel.: +49 241 80 21706 Fax: +49 241 80 22215 ritzert@informatik.rwth-aachen.de Webseite
	Schaefers, Thomas	Student Assistant	Webseite
	Sharma, Rishi	Student Assistant	rishi.sharma@rwth-aachen.de Webseite
	Spel, Jip M. Sc.	Doctoral researcher	Tel.: +49 241 80 21202 Fax: +49 241 80 22217 jip.spel@cs.rwth-aachen.de Webseite
	Stein, Svenja	Student Assistant	svenja.stein@rwth-aachen.de Webseite
	Swoboda, Daniel	Student Assistant	Webseite
	Tauer, Björn M. Sc.	Associate doctoral researcher	Tel.: +49 241 80 21117 Fax: +49 241 80 22216 tauer@algo.rwth-aachen.de Webseite
	Vargas Koch, Laura M. Sc.	Associate doctoral researcher	Fax: +49 241 80 693391 laura.vargas@oms.rwth-aachen.de Webseite
	Volk, Matthias M. Sc. RWTH	Associate doctoral researcher	Tel.: +49 241 80 21212 Fax: +49 241 80 22217 matthias.volk@cs.rwth-aachen.de Webseite
	Wilke, Richard M. Sc. RWTH	Doctoral researcher	Tel.: +49 241 80 21722 Fax: +49 241 80 22215 richard.wilke@rwth-aachen.de Webseite
	Willms, Birgit	Organisation, Internal Communication, Finance and HR Management	Tel.: +49 241 80 21211 Fax: +49 241 80 22217 willms@cs.rwth-aachen.de Webseite
	Winkler, Tobias M. Sc.	Associated doctoral researcher	Tel.: +49 241 80 21210 tobias.winkler@cs.rwth-aachen.de Webseite
	Wöginger, Gerhard	Supervisor Universitätsprofessor	Tel.: +49 241 80 21100 Fax: +49 241 80 22216 woeginger@algo.rwth-aachen.de Webseite
	Wolf, Charlotte	Student Assistant	charlotte.wolf@informatik.rwth-aachen.de Webseite
	Wollenhaupt, Lucas	Student Assistant	Webseite
	Zieger, Stephan M. Sc. RWTH	Doctoral researcher	Tel.: +49 241 80 25185 Fax: +49 241 80 22292 zieger@via.rwth-aachen.de Webseite