Idir AIT SADOUNE

Maitre de conférence à CentraleSupelec
et Chercheur au LRI

Je suis maitre de conférence au département informatique de CentraleSupelec (Paris-Saclay, France) depuis Juin 2011, et membre de l’équipe VALS (Vérification d'Algorithmes, Langages et Systèmes) du Laboratoire de Recherche en Informatique (LRI).

Mes activités de recherche abordent le thème de l'utilisation des méthodes formelles pour la modélisation et la vérification des systèmes, essentiellement l'utilisation des approches basées sur le raffinement et sur la preuve.

Mes activités d'enseignement sont essentiellement dans le domaine de l'informatique et interviennent en formation initiale sur les trois années du cursus Ingénieur de CentraleSupelec. Parallèlement, je corrige l'épreuve d'informatique du concours CentraleSupelec et j'interviens comme enseignant vacataire à l'IUT d'Orsay.

INTERETS

Méthodes formelles
Modélisation
Vérification
Programmation orientée objet

DIPLOMES

2010 - Doctorat en Informatique - ENSMA, Poitiers, France

2007 - Master en Informatique - Université de Poitiers, France

2005 - Ingénieur d'état en Informatique - ESI, Alger, Algérie

Cliquez ici pour revenir en haut de la page

DERNIERES PUBLICATIONS

Cliquez ici pour accèder à la liste complète des publications

Building Formal Semantic Domain Model: An Event-B Based Approach
9th International Conference on Model and Data Engineering

The role of user requirements in data repository design
International Journal on Software Tools for Technology Transfer

Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
Electronic Proceedings in Theoretical Computer Science

Using the Isabelle Ontology Framework. Linking the Formal with the Informal
11th International Conference on Intelligent Computer Mathematics

Cliquez ici pour revenir en haut de la page

DERNIERS COURS

Cliquez ici pour accèder à la liste de tous les cours

Réseaux
DIU - Enseigner l'Informatique au Lycée

Système d'Exploitation
Cours tronc commun
du cursus Supelec

Conception et Programmation Orientée Objet
2A DUT/IUT d'Orsay

Génie Logiciel
Cours tronc commun
du cursus Supelec

Cliquez ici pour revenir en haut de la page

Designed by Idir AIT SADOUNE