KWARC Group
Group members
- Michael Kohlhase (Principal Investigator)
- Heinrich Stamerjohanns (Senior Collaborator)
- Florian Rabe (post-doctoral researcher)
- Andrea Kohlhase (post-doctoral researcher)
- Christoph Lange (post-doctoral researcher)
- Vyacheslav Zholudev (Ph.D. student)
- Feryal Fulya Horozal (Ph.D. student)
- Constantin Jucovschi(Ph.D. student)
- Deyan Ginev (Ph.D. student)
- Alin Iacob (Ph.D. student)
- Mihnea Iancu (Ph.D. student)
Former Group Members
- Achim Mahnke
- Ioan Sucan (Rice University)
- Immanuel Normann (Uni Bremen)
- Normen Müller (Ph.D.)
- Christine Müller (Ph.D.)
Students
Former students
- Catalin David (master student; 2012)
- Stefania Dumbrava (bachelor+master student; 2012)
- Anca Dumitrache (bachelor student; 2011)
- Kristina Sojakova (bachelor+master student, 2010)
- Mihai Grigore (master student, 2010)
- Sönke Holsten (master student, 2010)
- Milena Makaveeva (master student, 2010)
- Jakob Ücker (bachelor student, 2010)
- Josip Dzolonga (bachelor student, 2010)
- Darko Makreshanski (bachelor student, 2010)
- Dimitar Misev (bachelor student; 2010)
- Jana Giceva(bachelor student, 2009)
- Stefan Anca (master student, 2009)
- Evans Bekoe (bachelor student, 2008)
- Andrei Ionita (bachelor student, 2008)
- Zdravko Beykov(bachelor student, 2008)
- Elena Agapie (bachelor student, 2008)
- Alen Stojanov (bachelor student, 2008)
- Andrei Aiordachioaie (bachelor student, 2007)
- Matthias Bröcheler (bachelor student, 2007)
- Octav Druta (bachelor student, 2007)
- Pavel Georgiev (bachelor student, 2007)
- Bastian Laubner (master student, 2007)
- Darko Pesikan (bachelor student, 2007)
- Rares Ambrus (master student, 2007)