• Accueil du LIFO
• Personnes (Annuaire)
• Equipes
• CA
• GAMoC
• PaMDA
• SDS
• Actions de Recherche
• Thèses en cours
• Séminaires et Evénements
• Séminaires
• Evénements au LIFO
• Evénements hors LIFO
• Publications et logiciels
• Publications
• Thèses et Habilitations
• Rapports de Recherche
• Logiciels
• Transfert de technologie

• Renseignements pratiques
• Organisation
• Accès
• Enseignement
• Département Informatique
• IUT Informatique
• ENSI de Bourges

Contact

LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2

Tel: +33 (0)2 38 41 70 11
Fax: +33 (0)2 38 41 71 37

Thèses en cours au LIFO

Equipe CA : Contraintes et Apprentissage

• Marie ARCADIAS (Construction d'ontologies et de réseaux sémantiques typés à partir d'analyse de corpus textuels et application à l'analyse et la construction de représentation sémantique du texte applicatif)
• Khanh Chuong DUONG (Apprentissage et contraintes)
• Huanhuan JIN (Planification de tâches par appentissage pour le web)
• Simon PETITJEAN (Construction modulaire de grammaires formelles)

Equipe GAMoC : Graphes, Algorithmes et Modèles de Calcul

• Bastien LE GLOANNEC (Coloriage du plan discret par automates cellulaires partiels)
• Romain LETOURNEUR (Algorithmes exacts pour les problèmes NP-Difficiles de graphes)
• Pedro MONTEALEGRE BARSA (Algorithmes distribués pour les graphes)

Equipe PaMDA : ProgrAmmation, Modélisation et vérification D'Applications parallèles et distribuées

• Abderrahim AIT WAKRIME (Une approche par composants pour l'analyse visuelle interactive de résultats issus de simulations numériques)
• Joshua AMAVI (Mirian HALFELD FERRARI ALVES)
• Allan BLANCHARD (Vérification formelle des composants critiques de systèmes d'exploitation et d'hyperviseurs de Cloud)
• Hélène COULLON (Calculs distribués pour des données hétérogènes)
• Sylvain DAILLER (Compilation certifiee pour la programmation parallele de haut niveau)
• Nicolas DUGUÉ (Caractérisation des propriétés de cohérence pour le traitement efficace des masses de données en nuage )
• Joeffrey LEGAUX (Système de Programmation et d'Exécution Efficace de coDe sur architectures parallèles hétérogènes)
• Vivien PELLETIER (Vers la maîtrise des approximations pseudo-régulières pour la vérification de programmes parallèles)
• Thomas PINSARD (Langages de programmation parallèle : sémantiques et vérification des implantations)
• Mouhamadou Tafsir SAKHO (Gamma-pomset pour la modélisation et la vérification de systèmes parallèles)

Equipe SDS : Sécurité et Distribution des Systèmes

• Aline BOUSQUET (Protection de téléphones Android et des services d'une informatique en nuage)
• Pierre CLAIRET (Intégration d'application dans un environnement sécurisé)
• Maxime FONDA
• Damien GROS (Renforcement de la sécurité des systèmes d'exploitation pour les clusters et les grilles de calcul à haute performance )
• Asma GUESMI (Contrôle d’accès pour le Cloud computing )
• Arnaud LEFRAY (Mission fonctionnelle et de sécurité dans une informatique en nuage)
• Benjamin VENELLE (Protection obligatoire pour la défense en profondeur des services Web virtualisés)