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