Menu

Nicolas MAGAUD

STRASBOURG

En résumé

Enseignant-chercheur en informatique à l'Université de Strasbourg depuis 2005.

Mes recherches portent sur la formalisation des mathématiques et la fiabilité des logiciels dans des systèmes formels d'aide à la preuve tels que Coq . Les domaines d'applications sont la géométrie et l'arithmétique des ordinateurs (et notamment le calcul réel exact).

J'ai la responsabilité de plusieurs cours d'algorithmique et de programmation (Ocaml, C, C++ principalement) au niveau licence à l'Université de Strasbourg et en écoles d'ingénieurs (ENSIIE, ITII CNAM Alsace). J'enseigne la sémantique des langages de programmation, les preuves formelles et la démonstration interactive avec Coq au niveau master. En parallèle, j'interviens à l'IUT d'Informatique (Université de Strasbourg) dans des cours de systèmes et programmation système (Unix). Je suis également impliqué dans les enseignements du type "Projet Professionnel Personnalisé" où les étudiants réfléchissent à leur avenir professionnel en début de licence.

Du côté institutionnel, je suis vice-président de la commission pédagogique de l'UFR Mathématique-Informatique, co-responsable du master ILC (Ingénierie du Logiciel et des Connaissances), et correspondant des Relations Internationales pour le département d'informatique.

Parallèlement à mes activités professionnelles, je suis fortement impliqué dans la promotion et le développement des sports de nature en Alsace. Je suis président de l'association ASCPA Strasbourg (escalade, canoë-kayak, trail), secrétaire du comité départemental Montagne-Escalade (FFME) du Bas-Rhin.

Finalement, quand le temps le permet, j'aime bien participer à des trails. Derniers en date : La Saintélyon (décembre 2010), la Montagn'hard-57 (juillet 2011), le Défi des Seigneurs (avril 2012), Verbier (juillet 2012), la Montagn'hard-105 (juillet 2013), les Dents du Midi (septembre 2014).

Mes compétences :
Encadrement
Relationnel
Persévérance
Dynamisme
Nouvelles technologies
Attentif

Entreprises

  • Activités Sportives Culturelles et de Plein Air (ASCPA) - Président

    2014 - maintenant
  • Comité Départemental Montagne-Escalade (FFME) du Bas-Rhin - Président

    2009 - 2013
  • Comité Régional Montagne-Escalade (FFME) Alsace - Membre élu

    2009 - maintenant
  • Activités Sportives Culturelles et de Plein Air (ASCPA) - Vice-président en charge de la section escalade

    2008 - 2014
  • Université de Strasbourg - Maître de conférences

    Strasbourg 2005 - maintenant Enseignant-chercheur en informatique.

    Vice-président Comission pédagogique de l'UFR Mathématique-Informatique depuis 2014.
    Co-responsable du Master "Ingéniérie du Logiciel et des Connaissances" (ILC) depuis 2012.
    En charge des relations internationales pour le département informatique depuis 2009.
  • University of New South Wales - Chercheur contractuel

    2003 - 2005
  • INRIA - Jeune chercheur

    Le Chesnay 2000 - 2003

Formations