Sasan Vakili

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)