KWARC Group

Group members

• Michael Kohlhase (Principal Investigator)
• Heinrich Stamerjohanns (Senior Collaborator)
• Andrea Kohlhase (project ONCE-CS)
• Immanuel Normann (Ph.D. student)
• Florian Rabe (Ph.D. student)
• Normen Müller (Ph.D. student)
• Christoph Lange (Ph.D. student)
• Christine Müller (Ph.D. student)
• Achim Mahnke (Ph.D. student)
• Vyacheslav Zholudev (Ph.D. student)
• Feryal Fulya Horozal (Ph.D. student)

Former Group Members

• Frederic Eberhard (external)
• Ioan Sucan (Rice University)

Students

• Milena Makaveeva (master student)
• Stefan Anca (master student)
• Evans Bekoe
• Andrei Ionita (bachelor student)
• Zdravko Beykov(bachelor student)
• Kristina Sojakova (bachelor student)
• Elena Agapie (bachelor student)
• Alen Stojanov (bachelor student)
• Andrei Aiordachioaie (bachelor student)
• Stefania Dumbrava (bachelor student)
• Jakob Ücker (bachelor student)

Former students

• Matthias Bröcheler (bachelor student)
• Octav Druta (bachelor student)
• Pavel Georgiev (bachelor student)
• Bastian Laubner (master student)
• Darko Pesikan (bachelor student)
• Rares Ambrus (master student)