Research groups
Algorithms, Graph theory, and Complexity (ALGO)
Applied Complexity Group (ACG) jointly with the Global Studies Institute
Complex Systems Modeling (CSM)
Computer Vision and Multimedia Laboratory (MMI)
Formal Modeling, Analysis and Proofs
High Performance Fluid Simulation Group (HPFS)
Machine Learning and Information Retrieval Group (VIPER)
Professor Stéphane Marchand-Maillet
Proteomic Informatics Group (PIG)
Stochastic Information Processing Group (SIP)
Professor Svyatoslav Voloshynovskyy
Semantics, Modelling and Verification Group (SMV)
Scientific and Parallel Computing Group (SPC)
Theoretical Computer Science and Sensor Networks Laboratory (TCS)