Dr. Natasha Sharygina

Biography

Natasha Sharygina is a Full Professor in the Computer Science department at the University of Lugano, Switzerland. She directs the USI Formal Verification Security group, which focuses on improving the program development process through formal methods, specification, and verification. Her research interests include software and hardware verification, temporal logics, model checking, SAT/SMT methods, and concurrent distributed computing. Natasha's current focus is on applying automated formal methods to issues in computer security, electronic design automation, and program analysis. She has received recognition through various awards, including the ACM Recognition Service Award and the CMU Technical Excellence Awards. Her research work has been supported by multiple grants from the Swiss National Foundation and EU Research Innovation programs. Natasha has authored over 150 research papers in the fields of formal verification and system design. She has served on program committees for major conferences in computer-aided verification, such as CAV, TACAS, FMCAD, and SPIN, and has delivered keynote and invited presentations. Furthermore, she has co-chaired several highly competitive international conferences and symposia, including TACAS 2023, FMCAD 2010, and CAV 2013.

Research Interests