Prof. Jan-Georg Smaus

Prof. Jan-Georg Smaus

I have left the research group for Foundations of Artificial Intelligence!

For up-to-date contact information, please check my new homepage.

About me

From October 2010 until July 2011 I substitute for Professor Dr. Bernhard Nebel as head of the Research Group on the Foundations of Artificial Intelligence. Professor Nebel has received two sabbaticals for WS 2010/2011 and SS 2011 for a research project by the Freiburg Institute for Advanced Studies (FRIAS).

Otherwise I am employed in AVACS, Automatic Verification and Analysis of Complex Systems, a Transregional Collaborative Research Center of the universities of Freiburg, Oldenburg, and Saarbrücken. I am 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….


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

In SS11 I am holding the lecture Computer Science Theory I.

In WS10/11 I held the lecture Computer Science I. I also held the lecture Computer Supported Modeling and Reasoning, as in previous years WS03/04, WS04/05, WS05/06, WS06/07, WS07/08, WS08/09, and WS09/10. In WS01/02 and in WS02/03, I was in charge of the exercises of this lecture. There is also a general webpage (not referring to a particular semester) about the course material.

In SS09 I organised a seminar on Self-reference.

Research Interests

Since summer 2004 I have been doing research in the area of timed and hybrid systems. Previously, my research has mainly been concerned with logic programming. More…


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


I was co-organiser of the MoChArt 2010 workshop.

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