Home Research USI Group Tools Service Funding

Research Funding

  • 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.