Research Funding
-
(2017 - 2019) From Parallel SMT to Parallel Software Verification
-
(2016 - 2018) Guiding SMT-Based Interpolation for Program Verification
-
(2014 - 2016) Harnessing Parallel Computing for Model Checking
-
(2010 - 2013) Pincette -- Validating Changes and Upgrades in Networked Software
-
(2009 - 2013) Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems
-
(2008 - 2010) Detection of Security Vulnerabilities by Guided Model Checking - extension
-
(2006 - 2008) Detection of Security Flaws and Vulnerabilities by Guided Model Checking
- European Science Foundation COST Action, Proposal title: "Rich-Model Toolkit: An Infrastructure for Reliable Computer Systems", Member of a management committee and a chair of a working group on system verification. Duration: November 2009 - October 2013.
- Swiss (Tasso Foundation) Career Award. Proposal title: "Towards Reliable and Secure Software". PI: Natasha Sharygina. Duration: October 2005 - September 2010. Support of Prof. Sharygina’s research group: salaries of a professor and two post- doctoral fellows at University of Lugano, equipment and travel, for 5 years.
- Carnegie Mellon University, Software Engineering Institute, Independent Research and Development Grant. Proposal title: "Verification of Evolving Software". PI: Natasha Sharygina. Duration: October 2004 - August 2005.
- ABB Corporation, Research Award. Proposal title: "Predictable Assembly from Certifiable Components". Co-PI: Kurt Wallnau, Carnegie Mellon University, SEI. Duration: October 2002 - October 2005.
- Microsoft Research Grants to conduct SAVCBS workshops on Specification and Verification of Component-based Systems. Co-PI: Gary Leavens, University of Central Florida, USA. Duration: 2004 - 2007.
- USA Department of Defense, National Security Agency (NSA) Research Grant, Proposal title: "Ensuring Security of Software", research seminar at the NSA mathematical research center, DOD, Ft. Meade, MD, Duration: November 2003.
- Lucent Technology, Bell Labs Visiting Researcher Grant. Proposal: "Integration of Object- Oriented Analysis Techniques with Model Checking". PI: Natasha Sharygina. Duration: May 2000 - February 2001, May 2001 - October 2001.
- NATO Science Committee, Grant to attend International Summer School on Proof and System Reliability in Marktoberdorf, Germany, July 2001.