Page principale

Bienvenue sur le site d'Alain Giorgetti

Enseignement

• Spécification et preuve de programmes, 69 heures, master d'informatique première année, enseignement à distance et en ligne
• Spécification et preuve de programmes, 66 heures, master d'informatique première année, présentiel
• Initiation à la recherche, 13 heures, master d'informatique première année, présentiel

Responsabilités

• Responsable de l'équipe de recherche VESONTIO du DISC, depuis février 2023.
• Co-responsable d'un Groupe de Travail (GT) du GdR GPL (Groupement de Recherche Génie de la Programmation et du Logiciel) du CNRS : LTP (Langages, Types et Preuves) de 2017 à 2019, puis LVP (Langages et Vérification de Programmes), de 2020 à 2024.
• Responsable du master informatique de Université de Franche-Comté, parcours Ingénierie Systèmes et Logiciels, du 01/09/2018 au 31/08/2020.
• Directeur des études de la 2ème année du master informatique de septembre 2007 à août 2014 et de septembre 2018 à août 2020.
• Responsable de la 2ème année de l'IUP Génie Mathématique et Informatique de septembre 1999 à août 2004.
• Responsable de la 3ème année de licence SST mention informatique de septembre 2004 à août 2007.

Expérience

• Professeur à l'Université Marie et Louis Pasteur, depuis septembre 2024.
• Habilitation à Diriger des Recherches (HDR) à l’Université Bourgogne Franche-Comté, soutenue le 1er décembre 2017.
• Maître de Conférences en informatique au L.I.F.C., puis à FEMTO-ST, depuis septembre 2001.
• Thèse en informatique fondamentale à l’Université de Marne-la-Vallée, soutenue le 10 décembre 1998.
• PrAg de 1999 à 2001 à l'Université de Franche-Comté.
• PrAg de 1996 à 1999 à l'Université Henri Poincaré Nancy I.
• Agrégé de mathématiques depuis septembre 1994.
• Ingénieur ENSIMAG (informatique et mathématiques appliquées) en 1991.

Voir la partie du site en anglais pour plus d'informations.