- vakili at cs.rwth-aachen.de
- Phone
- +49 241 80 21244
- Address
- Room 4227
Ahornstraße 55
D-52074 Aachen
I am a member of the UnRAVeL.
Research Interests
- Formal methods, especially modeling and verification techniques for probabilistic and stochastic hybrid systems
Teaching Assistance
- Proseminar: Formal Methods (WS21/22)
- Seminar: Satisfiability Checking (WS21/22)