IRIT - UMR 5505

English
UPS
  Bandeau IRIT
 
Photo Jan-Georg Smaus

  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 :

Publications

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