NOUR KARIM

KARIM NOUR

Maître de conférences (HDR)
à l'université de Savoie Mont Blanc

Informations diverses


Diplômes


Responsabilités


Enseignements


Axes de recherche

Le lambda-calcul pur a été inventé vers 1930, et a connu un développement considérable pour ses rapports étroits avec les langages de programmation fonctionnelle. L'intérêt principal de ce calcul provient essentiellement de la simplicité de sa syntaxe et de sa capacité à programmer toutes les fonctions calculables. Le lambda-calcul typé suscite aussi un grand intérêt à cause du lien qu'il établit entre les notions de programme et de preuve en logique intuitionniste, c'est ce qu'on appelle la "correspondance de Curry-Howard". Mes travaux de recherche portent sur la théorie de la démonstration, le \lambda-calcul avec ses multiples extensions et l'informatique théorique. Je m'intéresse tout spécialement aux thèmes suivants :

Publications


Exposés dans des congrés, séminaires, groupes de travail,...


Thèses encadrées


Activité associative


Page d'accueil du LAMA