Activities
News
Publications
 

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

 
Me

You may see my CV for additional information:

Last Updated CV

 

- Primary Email: sepideh.a65 [at] gmail.com

- Academic Email: sepideh.asadi [at] usi.ch

 
 
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