Informations diverses

• Equipe de recherche : LIMD (Logique, Informatique et Mathématiques Discrètes)
• Numéro de bureau : 127
• Numéro de poste : 8627
• Adresse : EP 2067, CNRS & Université de Savoie - Laboratoire de Mathématiques - Campus scientifique- 73376 Le Bourget du Lac, Cedex, France
• tel : (33) 04 79 75 86 27
• fax : (33) 04 79 75 81 42
• Email : Karim.Nour@univ-savoie.fr

CURRICULUM VITAE (en français)

CURRICULUM VITAE (in english)

Responsabilités (depuis 1993)

• Responsable des semestres 5 et 6 de la licence de Mathématiques (2001-2011)
• Responsable de l'équipe de recherche LIMD du LAMA (2007-2009)
• Membre du conseil de l'UFR SFA (2002-2005)
• Membre du bureau de département de mathématiques (2006-2009)
• Membre du conseil du LAMA (1996-1999) et (2007-2009)
• Membre de la commission de spécialistes section 25-26 (2001-2011)
• Responsable des séminaires de l'équipe LIMD (2000-2002)
• Responsable des prépublications du LAMA (1995-2010)
• Responsable de la bibliothèque du LAMA (1995-1998)

Enseignements (depuis 1993)

• TD d'algèbre linéaire en L1
• TD de probabilités et statistiques en L1
• TD de Mathématiques (analyse et algèbre) en L2
• Cours et Td de topologie en L3 MATH
• Cours et Td d'algèbre et géométrie en L3 MATH
• Td de géométrie Euclidienne en L3 MATH
• Cours et Td d'analyse pour le CAPES
• Cours et Td d'algèbre linèaire et bilinéaire pour le CAPES
• Cours et Td d'arithmétique et structures algébriques pour le CAPES
• Préparation à l'orale pour le CAPES
• Cours et TD d'ouverture mathématique pour le CAPE
• Encadrement des stages de M1 Math
• Encadrement des projets de magistère à l'ENS Lyon et à l'UJF Grenoble
• Cours de logique et lambda-calcul en M2 Recherche

Publications

• Articles publiés
• Proceedings
• Livres
• Documents
• Rapports internes
• Articles soumis
• Articles en préparation

Thèses encadrées

• "Types de données en logique du second ordre" (Samir Farkh)
• "Etude d'un lambda-calcul issu d'une logique classique" (Khelifa Saber)
• "Normalization properties of symmetric logical calculi" (Peter Battyanyi)
• "Complétude des types de données en lambda-mu-calcul" (Mohamad Ziadeh)