Skip to content

Scientist · Computer Science

Natasha Sharygina

Università della Svizzera italiana, Lugano, Switzerland

iD0000-0002-8872-4913

Citations, last 5 years: 137
Works, last 5 years: 30
h-index: 29
Citations, all time: 3 061
In Computer Science: #81,973

Research topics

Formal Methods in Verification171Computer Science
Logic, programming, and type systems165Computer Science
Software Testing and Debugging Techniques109Computer Science
Advanced Software Engineering Methodologies16Computer Science
Constraint Satisfaction and Optimization14Computer Science

Recent works

Discussion

Ask Natasha about their research. When the scientist claims this card, they will see your question.

Start a discussion