Institut für Informatik | Technische Fakultät | Universität Freiburg

Arbeitsgruppe Grundlagen der Künstlichen Intelligenz

Sebastian Kupferschmid

Kontakt

Adresse:	Institut für Informatik Albert-Ludwigs-Universität Freiburg Georges-Köhler-Allee, Geb. 052 79110 Freiburg, Germany
Büro:	Gebäude 052, Raum 00-044
Email:	kupfersc@informatik.uni-freiburg.de
Telefon:	+49 (761) 203-8231
Fax:	+49 (761) 203-8222

Über mich

Ich habe an der Albert-Ludwigs-Universität Freiburg Informatik studiert und mein Studium im November 2003 mit dem Diplom abgeschlossen.

Seit diesem Zeitpunkt bin ich wissenschaftlicher Mitarbeiter in der von Prof. Dr. Bernhard Nebel geleiteten Arbeitsgruppe Grundlagen der Künstlichen Intelligenz. Seit Januar 2004 bin ich Mitglied des transregionalen Sonderforschungsbereichs SFB/TR14 AVACS.

MCTA

MCTA ist ein heuristischer Model-Checker für Realzeitsysteme. Das Tool wurde hauptsächlich von Martin Wehrle und mir entwickelt. Weitere Informationen sowie das Tool selbst bekommt man auf der MCTA-Homepage.

Verschiedenes

Meine Erdős-Zahl ist kleiner gleich 4:

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