Search for contacts, projects,
courses and publications

Sepideh Asadi

http://usi.to/v6q

Biography

Sepideh Asadi is a Ph.D. student at USI Lugano, Switzerland.

She is a member of the formal Verification and Security Lab  under the supervision of   Prof. Natasha Sharygina .

For more info see  http://www.inf.usi.ch/phd/asadi/

Research

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