László Antal

László Antal is a Researcher at RWTH Aachen University's Department of Computer Science, affiliated with the Theory of Hybrid Systems (THS) group. He is pursuing a PhD under Prof. Erika Ábrahám, with additional supervision from Prof. Ana Maria Madureira and industrial advisor Luís Madureira. His research focuses on formal methods for AI-controlled systems and neural network verification, particularly in the context of marine robotics through the REMARO project.

Education: B.Sc. and M.Sc. in Computer Science/Data Analysis from Babeș-Bolyai University (Cluj-Napoca, Romania), followed by PhD studies at RWTH Aachen since 2021.

Research interests emphasize hybrid systems verification, neural network safety, and autonomous systems applications. His work bridges formal methods with practical robotics challenges, such as underwater vehicle navigation and pipeline inspection.

Teaching contributions include leading seminars on formal methods and satisfiability checking from 2021–2024. He has advised four students on theses involving neural network verification, reachability analysis, and dimensionality reduction techniques.

László collaborates on the EU-funded REMARO project, developing reliable AI for marine robotics. His work integrates interdisciplinary approaches, combining formal verification with robotics engineering and data science.