Jan-Georg Smaus

Statut :	Professeur
Équipe :	Assistance à la Certification des Applications DIstribuées et Embarquées (ACADIE)
Courriel :	smaus@irit.fr
Localisation :	IRIT2 / Niveau 4, Pièce: 470
Téléphone :	05 61 55 6304
Fax :	05 61 55 6304
Adresse :	IRIT
	Université Paul Sabatier
	118, route de Narbonne
	31062 Toulouse Cedex 4
	France

Qui suis-je ?

Je suis professeur à l'Institut de Recherche en Informatique de Toulouse (IRIT) de l'Université Paul Sabatier de Toulouse.

Depuis 2021, je suis le reponsable de l'équipe ACADIE.

Entre 2004 et 2011, j'ai travaillé sur le projet AVACS, Automatic Verification and Analysis of Complex Systems. J'étais membre de l'équipe Intelligence Artificielle du Prof. Dr. Bernhard Nebel à l'Université de Fribourg.

J'ai obtenu mon HDR en juillet 2009.

En savoir plus ….

Recherche

Actuellement ma recherche est concentrée sur les applications de la preuve interactive dans les domaines des algorithmes de model checking, de la sémantique des langages de programmation, et de la théorie des jeux. Les systèmes temporisés et hybrides sont un autre de mes sujets de recherche. Jusqu'à 2004, mon intêret était plutôt porté sur la programmation en logique. En savoir plus (en anglais) …

Enseignement

En juillet 2010, la Faculté de Technologie de Freiburg m'a décerné le Prix de l'Enseignement de l'année 2010 pour mon cours "Computer Supported Modeling and Reasoning". Le prix est doté de 2000 euros.

Voilà quelques supports de cours dont je suis auteur ou co-auteur :

• Licence : Logique CUPGE
• Licence : Structures discètes 2 (Logique)
• Licence : Programmation logique et par contraintes
• Licence : Structures discrètes 4 (λ-calcul)
• Master 1 : Introduction to embedded systems
• Master 2 : Vérification et validation, analyse formelle
• Master 2 : Validation and Certification
• Uppaal zip

Publications

J'ai environ 30 publications en anglais et une en français, dont la plupart avec des collègues.