Search for contacts, projects,
courses and publications

Sepideh Asadi

http://usi.to/v6q

Biography

Since March 2016, I am a PhD student at the University of Lugano, Switzerland.

I am a member of the Formal Verification and Security Lab led by Prof. Natasha Sharygina.

Research

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