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.

The main directions of my research:

  • Symbolic and Bounded Model Checking
  • SAT/SMT solving
  • Interpolation-based incremental verification
  • 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: Jun 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