Scholar
Natasha Sharygina
Google Scholar ID: FfGdGrYAAAAJ
Professor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, Switzerland
Citations & Impact
Citations
1,213
H-index
19
i10-index
46
Publications
20
Co-authors
37
list available
Contact
No contact links provided.
Publications
Resume (English only)
Research Experience
- Joined USI in 2005 after moving from Carnegie Mellon University (CMU)
- Leads the Formal Verification and Security Lab at USI
- Has led or participated in multiple research initiatives, including:
- - (2019–2023) Beyond Symbolic Model Checking through Deep Modelling
- - (2017–2019) From Parallel SMT to Parallel Software Verification
- - (2016–2018) Guiding SMT-Based Interpolation for Program Verification
- - (2014–2018) Runtime Verification beyond Monitoring (ARVI)
- - (2014–2016) Harnessing Parallel Computing for Model Checking
- - (2013–2015) Quality of Interpolants in Model Checking
- - (2010–2013) Pincette – Validating Changes and Upgrades in Networked Software
- - (2009–2013) Rich-Model Toolkit – An Infrastructure for Reliable Computer Systems
- - (2008–2010) Detection of Security Vulnerabilities by Guided Model Checking (extension)
- - (2006–2008) Detection of Security Flaws and Vulnerabilities by Guided Model Checking
Background
- Primary research interests are in formal verification, using model checking and related logic-based reasoning
- Focuses on the integrated development of efficient SAT/SMT solvers
- Established the Formal Verification and Security Lab at Università della Svizzera Italiana (USI)
- Lab projects focus on automated formal verification, particularly software/hardware model checking for safety analysis and information security
- Develops both theoretical frameworks and practical tools for sound and scalable verification of industrial-size computer systems
