KWARC Group
- 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)
Former Group Members
- Frederic Eberhard (external)
- Ioan Sucan (Rice University)
- Stefan Anca (master student)
- Andrei Ionita (master student)
- Kristina Sojakova (master student)
- Alen Stojanov (bachelor student)
- Andrei Aiordachioaie (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)