Menu

Khelifa SABER

SAINT ETIENNE

En résumé

Enseignant-Chercheur Mathématiques/Informatique à l'Ecole Supérieure de Mécanique et Electricité ESME Sudria Lyon

Mes compétences :
Programmation informatique
Mathématiques
Proof assistant COQ
Vérifications formelles
Model Checking

Entreprises

  • ESME Sudria Lyon - Enseignant Mathématiques/Informatique

    2013 - maintenant

  • ENTPE - Enseignant mathématique

    VAULX en VELIN Cedex 2012 - 2015

  • Lycée Jeanne d'Arc Clermont-Ferrand - Enseignant

    2007 - 2008

  • Université d'Auvergne - ATER

    CLERMONT FERRAND 2006 - 2007

  • Université de Savoie - ATER

    2005 - 2006

Formations

  • Ecole Des Mines

    Saint Etienne 2008 - 2009 Mastère

  • Université De Savoie

    Le Bourget Du Lac 2003 - 2007 Doctorat

    Lambda-Calcul, sémantique, confluence, normalisation ...

  • Université De Savoie

    Le Bourget Du Lac 2001 - 2002 Diplôme d'Etudes Approfondies

    Diplôme en cohabitation avec l'Université Claude Bernard et l'ENS (Lyon)

  • ENS ALGER (Vieux Kouba) (Alger)

    Alger 1996 - 2000 Maitrise

Réseau

Annuaire des membres :