You are here: Home / Infrastructures / Res. Infrastructure
Large-Scale Informatics Systems Laboratory (LaSIGE)
Hosting Legal Entity
University of Lisbon
Av. Rovisco Pais, MicroLab-Tecnico, Campus Alameda, Lisboa, PO: 1049-001, Grande Lisboa (Portugal)
Faculdade de Ciências da Universidade de Lisboa Departamento de Informática Edifício C6, Piso 3, Lisboa, PO: 1749-016 (Portugal)
Type Of RI
Coordinating Country
Current Status:
Operational since 1998
Scientific Description
LaSIGE is a research unit of the Department of Computer Science and

Engineering (DI) of the University of Lisbon (ULisboa), Faculty of Sciences (FCUL). LaSIGE performs a number of research activities in several sub-areas of computer science and engineering including:

human-computer interaction and multimedia; information management, net-centric, parallel and distributed computing; software engineering; and security and dependability.

The current research lines pursued, which constitute guiding vectors for LaSIGE researchers, are: Biomedical Informatics; Fault and Intrusion Tolerance in Open Distributed Systems; Human Computer Interaction and Multimedia; Methods and Techniques for Engineering Software Systems;

Timeliness and Adaptation in Dependable Systems.

RI Keywords
Information management, Security and dependability, Software engineering and net-centric computing, Human-computer interaction and multimedia
RI Category
Data Archives, Data Repositories and Collections
Software Service Facilities
Bio-informatics Facilities
Research Bibliographies
Data Mining and Analysis (Methodological) Centers, including statistical analysis
Distributed Computing Facilities
Scientific Domain
Information Science and Technology

- a mini object-oriented language in a Java-like style with support for concurrency, that allows programmers to specify class usage protocols as types;


- a protocol suite for group communication;


- a Byzantine fault-tolerant coordination service based on the tuple space model;


- a distributed wormhole that provides a set of time and security related services;


- a real-time proactive secret sharing library for RTAI (Real Time Application Interface);

MPI Sessions

- toolchain for validating Message Passing Interface programs written in the C language;

Therminfo - Collecting, Retrieving, and Estimating Reliable Thermochemical Data

QualWeb Evaluator

ProteinOn - Protein Interactions and Ontology


- a concurrent, message-passing programming language based on the pi-calculus;


- a Byzantine-fault-tolerant state machine replication library developed in Java with simplicity and robustness as primary requirements;

CIDS - Citation Impact Discerning Self-citations

NAMS - Non-contiguous Atom Matching Structural Similarity


- Pedagogical environment for experimenting object-oriented programming in Java;


- a framework for automatic and dependable adaptation in dynamic environments;


- a set of tools and libraries for intrusion tolerance using the Java programming language, including implementations of Byzantine Paxos and verifiable secret sharing;

B3PP - Blood Brain Barrier Penetration Prediction

MIL - Multithreaded Intermediate Language


- an extensible interoperable object-oriented n-Level hierarchical scheduling simulator;

MobileWaaT - Mobile Web accessibility assessment Tool


- a tool that supports the checking of Java classes against property-driven algebraic specifications;


- a layered communication toolkit;


- an extension of the Java language that enables the verification of Java programs against a session type specification;


- an Eclipse plug-in for learning and designing unit tests for the Java language;

A small audio‐video studio for HCI experiments
Restricted and isolated network for security experiments
40+ computer farm for distributed systems experiments
A cluster of high‐performance servers for information integration experiments
BiobankCloud - Scalable, Secure Storage of Biobank Data
ASTARTE - Assessment, STrategy And Risk Reduction for Tsunamis in Europe
KARYON - Kernel-Based ARchitecture for safetY-critical cONtrol
SEGRID - Security for smart Electricity GRIDs
SecFuNet - Security for Future Networks
MASSIF - MAnagement of Security information and events in Service InFrastructures
GUIDE—Gentle User Interfaces for Disabled and Elderly Citizens
TClouds - Trustworthy Clouds Privacy and Resilience for Internet-scale Critical Infrastructure
ITACA - Innovation Technologies and Applications for Coastal Archaeological sites
ACCESSIBLE - Accessibility Assessment Simulation Environment for New Applications Design and Development
Date of last update: 09/07/2014