Résultats de l'appel à projets PEPS JCJC 2019
Institutionnel
L’INS2I a lancé fin 2018 un appel à projets PEPS (Projet Exploratoire Premier Soutien) JCJC visant à soutenir d’excellents travaux portés par des jeunes chercheurs(euses) ou enseignants(es)-chercheurs(euses) afin qu’ils puissent contribuer à l’amorçage de projets de plus grande ampleur. Il était ouvert à toutes les disciplines scientifiques relevant des sciences de l’information et de leurs interactions, depuis les projets les plus académiques jusqu’aux recherches appliquées.
| Acronyme du projet | Titre long du projet | Porteur de projet | Code unité du porteur | Sigle unité du porteur |
|---|---|---|---|---|
| AAPS | Algorithms and Approximations of Probabilistic Systems | Mahsa Shirmohammadi | UMR8243 |
IRIF |
| ARPOSTEMP | Architectures for sporadic TEMPEST leakage detection | Robin Gerzaguet | UMR6074 | IRISA |
| ASTEC | Analyse des STructures combinatoires à Etiquetage Contraint | COURTIEL Julien | UMR6072 | GREYC |
| CoLA | Combinatorial Lattices and Applications | Bérénice Delcroix-Oger | UMR8243 | IRIF |
| COS | Concurrence et ordre supérieur | Vincent Penelle | UMR5800 | LaBRI |
| IdleGen | Génération automatique de comportements non verbaux à l’aide de réseaux antagonistes génératifs | Brian Ravenet | UPR3251 | LIMSI |
| OSCI | Optimisation sous contrainte implicite | Giovanni CHIERCHIA | UMR8049 | LIGM |
| RustWP | Vérification déductive de programme dans le systèmes de types de Rust | Jacques-Henri Jourdan | UMR8623 | LRI |
| Sparted | Scalable Parallel Tensor Decomposition Algorithms for Big Data Analysis and Scientific Computing Applications | Oguz Kaya | UMR8623 | LRI |
| STFOC | Sécurité et Tolérance aux Fautes pour les Objets Communicants Distribués | Hicham LAKHLEF | UMR7253 | HEUDIASYC |
| STRUCT | Structure de graphes : coloration et stable maximum | Lucas Pastor | UMR6158 | LIMOS |
| TYGANA | TYpes GArdés : Nouvelles Approches | Adrien Guatto | UMR8243 | IRIF |
| Vefose | Vérification Formelle pour les Systèmes Embarqués | Lionel Rieg | UMR5104 | Verimag |