Sasan Vakili

Email
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)