Research Funding

  • European Science Foundation, FP7, STREP project, Project title: "Validating Changes and Upgrades of Networked Software". PI: Natasha Sharygina (other participants: ABB, IBM Haifa Research, Oxford University, University of Milan Bicocca, VTT, Israel Aerospace). Duration: July 2010 - June 2013.
  • Swiss National Science Foundation Research Grant, Proposal title: "Detection of Security Vulnerabilities by Guided Model Checking (continuation)". PI: Natasha Sharygina (co-PI: T. Gross, ETH Zurich). Duration: October 2008 - September 2010. Prof. Sharygina’s portion is a salary of one Ph.D. student.
  • Hasler Foundation, Proposal title: "Automated Invariant Discovery for Efficient Security Checks". PI: Natasha Sharygina. Duration: September 2010 - August 2013. Support of one Ph.D. student.
  • 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 National Science Foundation Research Grant, Proposal title: "Detection of Security Vulnerabilities by Guided Model Checking". PI: Natasha Sharygina (co-PI: D. Kroening, ETH Zurich). Duration: October 2006 - September 2008. Sharygina’s portion is a salary of one Ph.D. student.
  • 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.