Search for contacts, projects,
courses and publications

Sepideh Asadi


Sepideh Asadi is a Ph.D. student at USI Lugano, Switzerland.

She is a member of the formal Verification and Security Lab  under the supervision of   Prof. Natasha Sharygina .

For more info see


  • Interpolation-based Model Checking
  • Formal Verification of Software and Hardware
  • SAT/SMT solving
  • Information Security