IRIT - UMR 5505

  Bandeau IRIT
Photo Jan-Georg Smaus

  Jan-Georg Smaus

  Status: Professor
  Team:  Assistance to the Certification of Distributed and Embedded Applications (ACADIE)
  Localization:  IRIT2 / Level 4, Office: 470
  Phone: +33 (0)5 61 55 6304
  Fax: +33 (0)5 61 55 6304
  Address: IRIT
Université Paul Sabatier
118, route de Narbonne
31062 Toulouse Cedex 4

About me

I am a professor at the Computer Science Institute (IRIT) of Paul Sabatier University of Toulouse.

From 2004 to 2011, I was employed in the project AVACS, Automatic Verification and Analysis of Complex Systems. I was a member of the Research Group on the Foundations of Artificial Intelligence led by Prof. Dr. Bernhard Nebel.

I obtained my Habilitation in July 2009.



My current research interests focus on applications of interactive theorem proving to model checking algorithms, programming language semantics, and game theory. Another research area of mine is timed and hybrid systems. Until around 2004, my research has mainly been concerned with logic programming. More…


In July 2010 I received the 2010 Faculty Teaching Award for my lecture "Computer Supported Modeling and Reasoning". The award is endowed with prize money of 2000 euros.

In the first semester of 2011/12 I held lectures (cours/TD) on

Previous teaching….


I have around thirty (refereed), mostly joint, publications in English et une en français, leider keine auf deutsch. More…


I am one of the grant holders of the project Computer-assisted checking of schedulability and resource access of concurrent Java using timed automata funded by EADS. The project will start in 2012.

I was one of the grant holders of the CAVA project before my move to Toulouse and I am still closely associated with this project.


I am currently supervising the PhD project of Alexander Schimpf.

Previous students…


I was co-organiser of the MoChArt 2010 workshop.

I was the publicity chair of the International Conference on Logic Programming 2003 (ICLP'03).