- Renseignements pratiques
- Enseignement
Contact
LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2
Email:
contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37
Thèses en cours au LIFO
Equipe CA : Contraintes et Apprentissage
- Cherifa BEN KHELIL (Description de la syntaxe et sémantique de la langue arabe au moyen des grammaires d'arbres adjoints)
- Gaëtan CAILLAUT (Apprentissage d'espaces prétopologiques pour l'extraction de connaissances structurées)
- Viet Dung NGHIEM NGUYEN (Apprentissage et Programmation par contraintes)
Equipe GAMoC : Graphes, Algorithmes et Modèles de Calcul
- Aurélien EMMANUEL (Courbes d’accumulations de machines à signaux)
- Benjamin GRAS (Algorithmes paramétrés et algorithmes modérément exponentiels)
Equipe LMV : Langages, Modèles et Vérification
- Xavier FERRY (Vérification par ordre partiel. Application aux systèmes communicants à ressources limitées)
- Arvid JAKOBSSON (Analyse statique, vérification et génération de programmes BSPlib)
Equipe Pamda
- Gauthier SORNET (Parallélisation implicite appliquée au calcul scientifique)
Equipe SDS : Sécurité des Données et des Systèmes
- Adrien JOUSSE (Protection obligatoire auto-adaptative et sûre pour la défense en profondeur des systèmes automobiles)
- Fergal MARTIN-TRICOT (Sécurité de l'Internet des Objets dans l'Industrie 4.0)
- Axel MICHEL (Sécurisation de calculs répartis sur des données personnelles.)
- Jean-Yves ZIE DIALI (Efficient and scalable blockchain)
Université d'Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 