Natasha Sharygina is a Full Professor of Informatics at the University of Lugano, Switzerland, and an adjunct Professor at School of Computer Science, Carnegie Mellon University, Pittsburgh, USA. Prof. Sharygina received a Ph.D. degree from the University of Texas at Austin, USA, in 2002. Her professional experience includes a visiting professor position at Imperial college, London, UK, in 2018, a research faculty position at Carnegie Mellon University, SEI, in 2002-2005, and consulting at Bell Labs, Lucent Technologies at the Computing Sciences Research in 2000-2001. Prof. Sharygina directs the USI Formal Verification and Security group, and her interests lie in software and hardware verification, temporal logics, model checking, SAT/SMT methods, and concurrent and distributed computing. Prof. Sharygina is the recipient of various awards, including the ACM recognition of service award and CMU Technical Excellence awards. Prof. Sharygina´s research has been funded by grants from the Swiss National Foundation, EU Research and Innovation programs, EU cooperation in science and technology projects, Hasler Foundation and TASSO career awards. Prof. Sharygina has authored more than 150 research papers in areas of formal verification, and system design. She served on program committees of various major conferences in the field of computer-aided verification, e.g., CAV, TACAS, FMCAD, and co-chaired highly competitive international conferences such as FMCAD 2010 and CAV 2013.
Research Manuscript
Design Verification and Validation
In-Person Only