The Faculty of Sciences of the University of Lisbon is the leading Portuguese institution in Science in Portugal, with a long tradition that dates back to the 18th century. The team was involved in several IST projects, namely MIKADO, AGILE, PROFUNDIS, and conducts research in the following areas: formalisms and methods for system specification and verification; foundations of software architectures and coordination; process and distributed calculi; implementation of concurrent and distributed programming languages; analysis of program properties via type systems; logics for specification and for verification, and associated validation tools.

The University of Lisbon team also integrates associated researchers from the
New University of Lisbon, Faculty of Sciences and Technology (Caires,
Ravara, Ferreira, Seco, Monteiro). The main contributions of these universities to SENSORIA are in the areas of concurrent, distributed and mobile programming, logics for distribution and mobility, program analysis techniques, and software architecture and modelling.