IRIT - UMR 5505

  Bandeau IRIT

  Jan-Georg Smaus

Short CV

Long version as PDF

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.

From October 2010 until July 2011 I substituted for Prof. Dr. Bernhard Nebel as head of the Research Group on the Foundations of Artificial Intelligence.

From 2001 to 2004, I was employed in MMISS, Multimedia Instruction in Secure Systems, a joint project of the Universities of Bremen, Freiburg, Hagen, München, and Saarbrücken. I was a member of the Software Engineering Group of Prof. Dr. David Basin.

From 1999 to 2001, I was a researcher in the ERCIM Postdoctoral Fellowship Programme. I spent nine months at INRIA working with Pierre Deransart, and eleven months at CWI working with Krzysztof Apt.

From 1996 to 1999, I worked on my PhD at the University of Kent at Canterbury. I did my Diplom (Masters degree) at the University of Saarbrücken (Max-Planck-Institut) in 1996.