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 has been supported by Swiss National Science Foundation, Hasler Foundation and EU FP7 PINCETTE project.

Current Initiatives

• Harnessing Parallel Computing for Model Checking, Swiss National Science Foundation, 2014 - 2016
• Quality of Interpolants in Model Checking, Swiss National Science Foundation, 2013 - 2015
• Runtime Verification beyond Monitoring (ARVI), EU COST Initiative, 2014 - 2017
• Alpine Verification Society (steering committee member), 2006 - on-going