- kovacs at cs.rwth-aachen.de
- Phone
- +49 241 80 21244
- Address
- Room 4227
Ahornstraße 55
D-52074 Aachen
I became a member of the THS research group in September of 2022, under the supervision of Prof. Dr. Erika Ábrahám and my second supervisor Prof. Dr. Anne Remke. My research interests are hybrid Petri nets and hybrid systems.
Teaching Assistance
Proseminars / seminars :
- Seminar: Satisfiability Checking / Formal Methods (WS22/23)
- Seminar: Satisfiability Checking (SS23)
- Seminar: Formal Methods (WS23/24)
Lecture:
- Modeling and Analysis of Hybrid Systems (SS24)
Bachelor’s / Master’s theses:
- Rui Miguel Oliveira Sobrinho: Building an e-learning web app with automated exercise generation
- Hao Tran: Implementation of Sparse Polynomial Zonotopes in Hypro
- Saadi Haiyan: Reachability with label synchronization
- Kazantzi Maria: