Research Group on the Foundations of Artificial Intelligence

Contact

Address: Institut für Informatik Albert-Ludwigs-Universität Freiburg Georges-Köhler-Allee, Geb. 052 79110 Freiburg, Germany Room: Building 052, Room 00-042 Email: smaus@informatik.uni-freiburg.de Phone: +49 (761) 203-8251 Fax: +49 (761) 203-8222

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 WS01/02 and in WS02/03, I was in charge of the exercises of the lecture on Computer Supported Modeling and Reasoning. The lecture was held by Prof. Dr. David Basin and Dr. Burkhart Wolff. In WS03/04, WS04/05, WS05/06, WS06/07, WS07/08, and WS08/09, I held the lecture on my own. In WS09/10 I am holding the lecture again. 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 more than twenty (refereed), mostly joint, publications in English et une en français, leider keine auf deutsch. Complete list

Organisation

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