József Kovács

Email

Address

Room 4227
Ahornstraße 55
D-52074 Aachen

Phone

+49 241 80 21244

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:

ORCID

Publications