Jobs LIP6
- Thesis : Algorithmes pour le problème des plus proches voisins et applications en cryptanalyse
- Thesis : Analyse et vérification de réseaux paramétrés (avec broadcast)
- Thesis : Byzantine Fault-tolerance in dynamic networks
- Thesis : Calculer le joueur parfait pour des jeux multijoueurs ou à connaissances incomplètes
- Thesis : Conception compositionnelle de dispositifs biomédicaux portables certifiables
- Thesis : Consistency trade-offs in edge computing
- Thesis : Efficient linear algebra on GPUs for Gröbner bases computations
- Thesis : Explicabilité des protocoles d’argumentation
- Thesis : Frugal Learning with Deep Generative Networks for Visual Scene Recognition
- Thesis : Lightweight Graph Neural Networks for Image and Action Recognition
- Thesis : Mitigation strategies against Fake News diffusion in online social platforms
- Thesis : Modèles d’influences entre agents par révision de croyance
- Thesis : Online Computation with Machine-Learned Advice
- Thesis : Optimisation de l’exécution d’un réseau de neurones sur un accélérateur IA
- Thesis : Polarization in large socio-informational networks: models and measures
- Thesis : Qualification et quantification du Bien et du Mal dans un modèle de raisonnement éthique
- Thesis : Réparation automatique de programmes dans l'IDE
- Thesis : Réseaux mesh 5G hybrides
- Thesis : Robustesse et Fragilité des Infrastructures en Réseaux
- Thesis : Système intelligent de décision de feedbacks au sein de plateformes d’apprentissage humain : une approche apprentissage par renforcement
- Thesis : The algebra of the MinRank problem in post-quantum cryptography: Gröbner bases, complexity, and implementations
- Thesis : The Combinatorics of Binary Decision Diagrams
- Thesis : Vers des outils de référence pour la résolution des systèmes polynomiaux en cryptographie
- Thesis : Vers un solveur SAT distribué efficace
Stages Master informatique
- Parcours Androide : AgeNts Distribues, Robotique, Recherche Opérationnelle, Interaction, DEcision
- Parcours BIM : Bio-informatique
- Parcours DAC : Données, Apprentissage et Connaissances
- Parcours IMA : Imagerie
- Parcours DIGIT/International IQ : Informatique Quantique
- Parcours RES : Réseaux
- Parcours SAR : Systèmes et Applications Répartis
- Parcours SESI : Système Electroniques et Système Informatiques
- Parcours SFPN : Sécurité, Fiabilité et Performance du Numérique
- Parcours STL : Science et Technologie du Logiciel
Links
- PhD graduated : Intelli’agence (ex association Bernard Gregory)