Prof. Karine Altisen
Formal Modeling, Analysis and Proofs
Prof. Karine Altisen
Formal Modeling, Analysis and Proofs
Prof. Roland Bouffanais
Applied Complexity Group
Prof. Arnaud Casteigts
Algorithms, Graph Theory, and Complexity Group
Prof. François Fleuret
Machine Learning Group
Prof. Jonas Lätt
High Performance Fluid Simulation
Prof. Stéphane Marchand-Maillet
Machine Learning and Information Retrieval
Prof. Slava Voloshynovskiy
Stochastic Information Processing
Prof. Bastien Chopard et Dr Franck Raynaud
Complex Systems Modeling
Prof. Didier Buchs
Semantics, Modelling and Verification
Prof. José Rolim
Theoretical Computer Science and Sensor Nets Lab
Prof. Frédérique Lisacek
Proteome Informatics
Prof. Therry Pun
Affective Computing and Multimodal Interaction Group
Prof. Bastien Chopard
Scientific and Parallel Computing Group