Activities
News
Publications
 

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

 
Resources:

You can see my resume for additional information:

Last Updated CV

 

Me
 
 
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