Ricerca di contatti, progetti,
corsi e pubblicazioni

Sepideh Asadi

http://usi.to/v6q

Biografia

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/

Ricerca

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