Hi there -- thanks for stopping by.

My name is Sepideh, and I am a second-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 may see my CV for additional information:

Last Updated CV


- Primary Email: sepideh.a65 [at]

- Academic Email: sepideh.asadi [at]

Last Update: Oct 2017
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