Page principale

Bienvenue sur le site d'Alain Giorgetti

 

Enseignement

  • Preuve et évaluation de programmes, 58 heures, master d'informatique première année
  • Procédures de décision, 13 heures, master d'informatique deuxième année
  • Logique et déduction, 52 heures, licence d'informatique deuxième année
  • Méthode formelles, 81 heures, licence d'informaque troisième année, en enseignement à distance et en ligne

Responsabilités

  • Directeur des études de la 2ème année du master informatique et responsable de la spécialité S2L/CODES (Sécurité et Sûreté du Logiciel/Conception et Développement de logiciels Sûrs), de septembre 2007 à août 2014.
  • 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

  • Maître de Conférences en informatique au L.I.F.C., puis à FEMTO-ST, depuis septembre 2001.
  • 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.