Current Members:
Post-Docs:
- Germano Schafaschek (since March 2023)
PhD-Students:
- Irmak Saglam (May 2022 – ongoing, co-supervised with Georg Zetzsche)
- Satya Prakash Nayak (Feb. 2022 – ongoing)
- Ashwani Anand (Sept. 2021- ongoing, co-supervised with Rupak Majumdar)
- Ana Mainhardt (Sept. 2020 – ongoing)
Master Students:
- Munko Tsyrempilon (HiWi, TU Kaiserslautern, Feb. 2022 – ongoing)
Past Members:
Master Students (HiWi’s):
- Mehrdad Zareian (HiWi, TU Kaiserslautern, Nov. 2020 – June 2022)
Visitors:
- Willy Alejandro APAZA PEREZ (CentraleSupélec, Paris, France), Spring 2022
Phd-Student Interns:
- Nazerke Sandibay, Pre-Phd Student Intern, MS from Skolkovo Institute of Science and Technology, Russia. Winter 22/23, co-supervised with Kathrin Flaßkamp
- Goktug Saatcioglu, Pre-Phd Student Intern, MS from NYU, USA. Summer 2020. Co-supervised with Rupak Majumdar.
- Stanly Samuel. Visiting from IISC, Bengaluru, India for two months. Fall 2019. Co-supervised with Daniel Neider.
- Yunjun Bai. Visiting from the Chinese Academy of Sciences, Beijing, China, for two years. 2016-2018. Co-supervised with Damien Zufferey and Rupak Majumdar.
Bachelor/Master Student Interns:
- Maria Kokkou (Chalmers University of Technology, Gothenburg, Sweden), Summer 2021 & Spring/Summer 2022
- Tamajit Banerjee (IIT Dehli, India), Summer 2021
- Dhruv Patel (DAAD intern from BITS Pilani, India), Summer 2021
- Mateusz Rychlicki (Univeristy of Warsaw, Poland), Summer 2021
- Kyle Hsu. DAAD-RISE intern from University of Toronto, Canada, Summer 2017. Now at Stanford University, USA.
Supervised Bachelor/Master Thesis:
- Mehrdad Zareian. Efficient Synthesis of Symbolic Output-Feedback Controllers for Safety Specifications. TU Kaiserslautern. 2022.
- Adrian Leva. Reactive Controller Synthesis for Mobile Robotics. TU Kaiserslautern. 2016. PDF
- Kaushik Mallik. Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems using Deterministic Context Free Specification Languages. TU Berlin. 2015.
- Hendrik Himstedt. Controller Synthesis for Deterministic Context Free ω-Language Specifications. TU Berlin. 2014.
- Basel Sheik Khalil. Prototype Development of a Smart Packstation System. TU Berlin. 2013.
- Xiaoying Bai. Translation of the construction of approximately similar or bisimilar symbolic models into the framework of behavioural systems theory. TU Berlin. 2013.
- Stefan Jacobi. Controller Synthesis for Discrete Event Systems in the Setting of a Regular Plant and a Deterministic Context-Free Specification in Libfaudes. TU Berlin. 2013. PDF
- Kai Biebrach. Mehrgrößenregelung eines hydrodynamischen Prüffeldes. TU Berlin. 2011.