Prof. Natasha Sharygina

  • Via G. Buffi 13
    Lugano, 6900, Switzerland
    natasha.sharygina@usi.ch
    natalie@cs.cmu.edu
    +41 (0)58 66 64299
    +41 (0)58 66 64536 (FAX)

I joined USI in 2005 where I started the USI Formal Verification and Security group. I came to Lugano after working for several years at Carnegie Mellon University, USA, where I am now holding an adjunct Professorship at SCS.

My research interests are in software and hardware verification (e.g. Model-checking, Abstract Interpretation, Decision Procedures for first-order theories, Satisfiability Modulo Theories (SMT)), information security, and concurrent and distributed computing.

Research of my group is supported by Swiss National Science Foundation, Hasler Foundation and EU FP7 PINCETTE project.

Current Initiatives

Last updated in September, 2011.