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….
Teaching
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…Publications
I have around thirty (refereed), mostly joint, publications in English et une en français, leider keine auf deutsch. Complete listOrganisation
I was co-organiser of the MoChArt 2010 workshop.
I was the publicity chair of the International Conference on Logic Programming 2003 (ICLP'03).