Hi there -- thanks for stopping by.

Since March 2016 I am a 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.

In a nutshell, my research interests broadly span in the following areas:

  • Symbolic Model Checking
  • Interpolation-based Bounded 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: Aug 2018
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