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 | |
| 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 | |
| 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 | |
| Müllen, Richard | Student Assistant | richard.muellen@rwth-aachen.de Webseite | |
| Nalbach, Jasper | Associated doctoral researcher | Nalbach@cs.rwth-aachen.de Webseite | |
| 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 | |
| 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 | |
| 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 | |
| Zieger, Stephan M. Sc. RWTH | Doctoral researcher | Tel.: +49 241 80 25185 Fax: +49 241 80 22292 zieger@via.rwth-aachen.de Webseite |