La thèse d’Alexandre Maréchal primé par l’Accessit du GDR GPL : "Nouvelle Algorithmique pour le Calcul Polyédral via Programmation Linéaire Paramétrique", sous la direction de David Monniaux et Michaël Périn.
Navigation
Actualités
Séminaires
Nouvelles publications
- Quelques Publications
Récentes
- Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, Matthieu Moy, Gabriel Radanne, Pascal Raymond: Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory
- Joseph Sifakis: Testing System Intelligence
- Florence Maraninchi: Quelle recherche en informatique pour un numérique inscrit dans les limites planétaires ?
- Karine Altisen, Pierre Corbineau, Stéphane Devismes: Complexité certifiée d'algorithmes autostabilisants en rondes
Offres d'emploi et stages
- Offres d'emploi et stages
- [Master] Implementation of critical applications on multi-core : execution mode analysis to reduce interferences
- Bourses PERSYVAL de M2
- [L3/M1] Theory and Practice of Vectorial Extension for Stream Processing
- [Master]Leakage in presence of an active and adaptive adversary
- [PostDoc] Implementation of critical applications on multi-core : execution mode analysis to reduce interferences