Università di Lugano. University of Lugano. Scegli la lingua. Choose the language.

Welcome to the University of Lugano. This web site has been developed with two content access modalities: visual and oral.

You are now browsing with the visual modality. If you are listening to the web site, you can change the modality and access the oral one, following the next link.

Access to the oral modality of the web site.

CH-6904 Lugano (Svizzera)
Tel. +41 (0)58.666.4000
Fax +41 (0)58.666.4647
info@usi.ch

Home
People directory

PEOPLE DIRECTORY

MODIFY DATA

People at USI: Natasha Sharygina

Natasha Sharygina

- Associate Professor, Facoltà di scienze informatiche

Location: Facoltà di Lugano, Scienze informatiche
Office: SI-220
Tel: +41 58 666 42 99
Fax: +41 58 666 45 36
Email: natasha.sharygina@usi.ch
Website: www.inf.usi.ch/faculty/sharygina/

Biography:

Natasha Sharygina is a 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 consulting at Bell Labs, Lucent Technologies at the Computing Sciences Research in 2000-2001 and a research faculty position at Carnegie Mellon University, SEI in 2002-2005.
Prof. Sharygina directs the USI Formal Verification and Security group whose research deals with improving the program development process through formal methods of specification and verification. Prof. Sharygina´s interests lie in software and hardware verification, temporal logics, model checking, SAT/ SMT methods, and concurrent and distributed computing. Prof. Sharygina¿s current focus is on applying automated formal methods to problems in computer security, electronic design automation, and program analysis.
Prof. Sharygina is the recipient of various awards among which are the ACM recognition of service award and CMU Technical Excellence awards.
Prof. Sharygina¿s research has been funded by multiple grants including the CMU SEI Independent R&D grants, EU COST program, Tasso Career, the Swiss National Foundation, and Hasler Foundation awards. Prof. Sharygina has authored more than 45 research papers in areas of formal verification, and system design. She served on program committees of various conferences (e.g., TACAS, FMCAD, SPIN), given keynote and invited presentations, and co-chaired several workshops in the area of formal verification. Prof. Sharygina is chairing FMCAD 2010 and CAV 2013, the major conferences in computer-aided verification and design.