Ricerca di contatti, progetti,
corsi e pubblicazioni

Sepideh Asadi



Since March 2016, I am a Ph.D. student at University of Lugano, Switzerland.

I am a member of the formal Verification and Security Lab under the supervision of  Prof. Natasha Sharygina.

For more info and my publication lists check my personal website: http://www.inf.usi.ch/phd/asadi/


  • Interpolation-based Model Checking
  • Formal Verification of Software and Hardware
  • SAT/SMT solving
  • Information Security