Bienvenue sur le site d'Alain Giorgetti
Enseignement
- Méthodes formelles, 69 heures, licence d'informatique troisième année, en enseignement à distance et en ligne
- Spécification et preuve de programmes, 27 heures, licence d'informatique troisième année, en enseignement à distance et en ligne
- Spécification et preuve de programmes, 58 heures, master d'informatique première année, présentiel
- Initiation à la recherche, 18 heures, option du master d'informatique première année, présentiel
- Spécifier et vérifier, 27 heures, master d'informatique deuxième année, en enseignement à distance et en ligne
Responsabilités
- 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
- 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.