Our Lab is a part of the Informatics Faculty at the University of Lugano. The Lab was established in 2006 when Prof. Sharygina received a career award from the Tasso Foundation. The Lab projects focus on automated formal verification with a particular interest in software/hardware model checking, information security, static analysis, abstract interpretation, and decision procedures. We create both theoretical frameworks and practical tools to enable sound and scalable verification of industrial-size systems. For questions about the Lab projects contact natasha.sharygina@usi.ch. We have NEW open PhD and Postdoc positions. For more information, contact natasha.sharygina@usi.ch. |
Formal Verification and Security Lab
Our Lab is a part of the Informatics Faculty at the University of Lugano. The Lab was established in 2006 when Prof. Sharygina received a career award from the Tasso Foundation. The Lab projects focus on automated formal verification with a particular interest in software/hardware model checking, information security, static analysis, abstract interpretation, and decision procedures. We create both theoretical frameworks and practical tools to enable sound and scalable verification of industrial-size systems. For questions about the Lab projects contact natasha.sharygina@usi.ch. We have NEW open PhD and Postdoc positions. For more information, contact natasha.sharygina@usi.ch. |
Latest news
2011-08-30 |
Aliaksei Tsitovich received the PhD degree from the University of Lugano, with a thesis titled "Scalable Abstractions for Efficient Security Checks" |
2011-06-17 |
Prof. Sharygina and Dr. Bruttomesso are presenting OpenSMT and its applications to verification at MIT SAT/SMT summer school |
2011-02-10 |
Our article on combination of precise and approximated abstractions appeared in International Journal on Software Tools for Technology Transfer (STTT) |
2011-01-03 |
Our latest work on the summarization-based termination analysis resulted in the paper, which is presented at TACAS'11 |
2010-12-01 |
Our EU project PINCETTE is in the press SwissInfo.ch: "Tweezers to remove errors" |