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

• Membre du bureau de département de mathématiques
• Membre de la commission de spécialistes (section 25-26)
• Responsable de l'équipe LIMD du laboratoire de Mathématiques
• Responsable des semestres 5 et 6 de la licence de Mathématiques
• Responsable des prépublications du laboratoire de Mathématiques

Enseignement

• TD d'algèbre en L1
• TD de probabilités et statistiques en L1
• TD de Mathématiques en L2
• Cours et Td de "topologie" en L3 MATH
• Cours et Td de "algèbre et géométrie" en L3 MATH
• Cours et Td d'algèbre et d'analyse pour le CAPES
• Cours et TD "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
• Proceedings
• Soumis
• En préparation
• Documents et livres

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)