Hi there -- thanks for stopping by.

My name is Sepideh, and I am a first-year Ph.D. student in computer science at Formal Verification and Security Lab
of University of Lugano, Switzerland, under supervision of Prof. Natasha Sharygina . My interests lie in Formal Verification of Software and Hardware Systems.

Throughout my professional career and graduate studies, my research interests broadly span the following areas

  • Interpolation-based Model Checking
  • Symbolic Model Checking
  • SAT/SMT solving
  • Information Security


You can see my resume for additional information:

Last Updated CV


by Sepideh Asadi
matchmaking website photo personals speed dating meet singles online matchmaking online foreign dating service internet matchmaking local singles married personals meet singles online PERSONALS online dating sites