Research Groups
Scientific research at FI is organized rather informally, within flexible research groups which can quickly respond to current challenges and trends in the scientific world.
Formal Methods
-
Laboratory for Parallel and Distributed Systems (ParaDiSe)
-
Laboratory of Formal Methods, Logic and Algorithms (Formela)
-
Systems Biology Laboratory (SYBILA)
Artificial Intelligence
Visual Informatics
-
Centre for Biomedical Image Analysis (CBIA)
-
Human Computer Interaction Laboratory (HCILAB)
-
Studio of Graphic Design and Multimedia (AGD+M)
Security and Embedded Systems
-
Centre for Research on Cryptography and Security (CRoCS)
-
Laboratory of Quantum Information Processing and Cryptography (LQIPC)
-
Design and Architecture of Digital Systems Laboratory (EmLab)
Data Management
-
Laboratory of Data Intensive Systems and Applications (DISA)
-
Laboratory of Electronic and MultiMedia Applications (LEMMA)
