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

• PINCETTE: Validating Changes and Upgrades in Networked Software, EU FP7 STREP project, 2010 - 2013
• Automated Invariant Discovery for Efficient Security Checks, Swiss Hasler Foundation, 2010 - 2013
• Rich Models Toolkit - An Infrastructure for Reliable Computer Systems, EU COST Initiative, 2009 - 2013
• First Workshop on Validation Strategies for Software Evolution (VSSE), March 25, 2012
• SAT/SMT Solver Summer School at MIT, Cambridge, USA (lecturer), June 12-17, 2011
• Model Checking Modulo Theories: theory and practics tutorial at CADE'11 (co-organizer), August, 2011
• Alpine Verification Meeting (steering committee member), 2006 - on-going