"Improve Practice Through Theory"


Software technology is pre-scientific in its lack of an effective basis for predicting computers' behaviour. HASLab research aims at improving scientific standards in software design through rigorous methods and mathematical techniques.

HASLab researchers have a long tradition of linking their research to national and international industry partners, and a deep involvement in the department's teaching activities, at both the undergraduate and the postgraduate level.

Regular group's activities include a research seminar that provides a stimulating meeting opportunity for the whole team, including post-grad (Ph.D and M.Sc) students.

In the period 2003-2008, the lab members have published around 80 research papers, and edited 6 volumes as program chairs. 10 doctoral theses were defended. The lab has also coordinated an international ALFA network and participated in the TYPES and APPSEM II coordination actions, as well as in an FP7 project. At the national level three FCT-funded projects were coordinated, together with a number of transfer projects. Concerning the organisation of events, the highlight was the ETAPS conference, held in 2007.

HASLab "Tripod"

  • Formal methods
  • Dependable Distributed Systems
  • Cryptography & Information security

Research Topics

  • High-assurance Model-driven Software Engineering
  • Foundations for architectural design (service certification, dynamic reconfiguration and self-adaptability)
  • Formal verification of real-time Systems
  • Secure embedded systems (static ckecking of embedded systems against safety policies)
  • Theoretical Cryptography / Provable Security
  • Implementation, Verification, and Analysis of Cryptographic Software
  • Dependability of interactive systems (model checking-based analysis of interactive systems)