Department of Computer Science | Faculty of Engineering | University of Freiburg

Research Group on the Foundations of Artificial Intelligence

Sebastian Kupferschmid

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-044
Email:	kupfersc@informatik.uni-freiburg.de
Phone:	+49 (761) 203-8231
Fax:	+49 (761) 203-8222

About me

I received a diploma in computer science (Dipl.-Informatiker) from the University of Freiburg in November 2003.

Since then I am working in the Research Group on the Foundations of Artificial Intelligence at the University of Freiburg, headed by Prof. Dr. Bernhard Nebel. I joined the group in November 2003. Since January 2004, I am a member of the Transregional Collaborative Research Center AVACS.

MCTA

MCTA is a directed model checking tool for real-time systems. The tool was mainly developed by Martin Wehrle and me. Further information and the tool itself can be obtained from the MCTA homepage.

Miscellaneous

My Erdős number is less or equal to 4:

Paul Erdős - Saharon Shelah - Amir Pnueli - Andreas Podelski - me