Jan-Georg Smaus

Status:	Professor
Team:	Assistance to the Certification of Distributed and Embedded Applications (ACADIE)
Email:	smaus@irit.fr
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
	France

About me

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

I have been the head of the ACADIE team since 2021.

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.

More….

Research

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…

Teaching

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.

Publications

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