IRIT - UMR5505

Jan-Georg Smaus

Short CV

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.

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.






		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. 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. 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.