
- antal at cs.rwth-aachen.de
- Phone
- +49 241 80 21244
- Address
- Room 4227
Ahornstraße 55
D-52074 Aachen
Research Interests
- Formal methods, especially modeling and verification techniques for AI-controlled hybrid systems
Teaching Assistance
- Proseminar: Formal Methods (WS21/22)
- Seminar: Satisfiability Checking (WS21/22)