معرفی
József Kovács is a researcher affiliated with the Department of Computer Science at RWTH Aachen University. He joined the THS research group in September 2022 under the supervision of Prof. Dr. Erika Ábrahám and Prof. Dr. Anne Remke. His research focuses on hybrid Petri nets and hybrid systems, with contributions to formal methods and reachability analysis.
Teaching responsibilities include leading seminars on Satisfiability Checking and Formal Methods (WS22/23, SS23, WS23/24) and lecturing on Modeling and Analysis of Hybrid Systems (SS24). He has supervised multiple theses, including projects on e-learning web apps, sparse polynomial zonotopes implementation, and label synchronization in reachability analysis.
He is reachable at kovacs@cs.rwth-aachen.de, located in Room 4227, Ahornstraße 55, Aachen.
