József Kovács

423944052_332573059759737_2585384576356679144_n

Email
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

Ongoing thesis:

  • Saadi Haiyan: Reachability with label synchronization
  • Kazantzi Maria:

Publications

ORCID