|
Corentin BARLOY |
MCF (UNIVREN) |
LogicA |
Circuit complexity, logic, automata theory, algebraic semigroups |
|
Tommaso BELVEDERE |
CR (CNRS) |
RAINBOW |
Robot control, motion generation, uncertainty-aware planning, numerical optimization |
|
Arnaud BLOUIN |
PU (ISTIC) |
KHORA |
Je suis PU à l'ISTIC depuis septembre 2026. J'étais auparavant MCF à l'INSA de Rennes. J'ai monté et je gère l'équipe-projet Khora depuis septembre 2026 également. Khora traite de problématiques de sciences du logiciel. |
|
Marco FERRO |
MCF |
RAINBOW |
autonomie partagée des systèmes robotiques ; commande par optimisation ; interaction humain-robot ; téléopération et retour haptique ; robotique médicale |
|
Blaise GENEST |
DR (CNRS) |
|
https://perso.crans.org/genest/ |
|
Louis LEDOUX |
MCF (UNIVREN) |
TARAN |
Arithmétique des ordinateurs, VLSI, ASIC, Architecture des ordinateurs, Réseaux Systoliques, Efficacité énergétique, Calcul Haute Performance, Compilation multi niveaux : du problème au silicium. |
|
Meven LENNON-BERTRAND |
MCF (ENS) |
EPICURE |
Logique, assistants à la démonstration, algorithmes de typage |
|
Quentin MANIÈRE |
MCF (UNIVREN) |
BARD |
Knowledge representation · Ontology-mediated query answering · Description logics · Circumscription · Property testing |
|
Hérvé RIVANO |
PU (IMT) |
ADOPNET |
Optimisation, réseaux cellulaires et IoT, geolocalisation, mobilités, résilience urbaine |
|
Arnaud TISSERAND |
DR (CNRS) |
CAPSULE |
arithmétique des ordinateurs en matériel et logiciel, implantations pour la cryptographie |