László Antal

antal at cs.rwth-aachen.de
+49 241 80 21244
Room 4227
Ahornstraße 55
D-52074 Aachen

My previous studies involve a B.Sc. in Computer Science and an M.Sc. in Data Analysis and Modelling, both at the Babeș-Bolyai University of Cluj-Napoca, Romania. After finishing my master’s degree, I started my PhD studies at the RWTH Aachen University, Germany.

I joined the Theory of Hybrid Systems (THS) group in October 2021, as an early-stage researcher. My supervisor is Prof. Dr. Erika Ábrahám; my second and my industrial supervisors are Prof. Dr. Ana Maria Madureira and Luís Madureira, respectively.

Together with several universities and companies across Europe, we are working on an intriguing project called REMARO. Our aim in this project is to develop reliable AI for marine robotics.

Research Interests

  • Formal methods, especially modelling and verification techniques for AI-controlled hybrid systems
  • Neural network and neural network control system verification

Teaching Assistance

  • Proseminar: Formal Methods (WS21/22)
  • Seminar: Satisfiability Checking (WS21/22)
  • Proseminar: Formal Methods (SS22)
  • Seminar: Satisfiability Checking (SS22)