Prof. Dr. Malte Helmert
Ich habe die Arbeitsgruppe für Grundlagen der Künstlichen Intelligenz verlassen!
Aktuelle Kontaktdaten finden Sie auf meiner neuen Homepage.
Über mich
Ich habe an der Albert-Ludwigs-Universität Freiburg Informatik studiert und mein Studium im März 2001 mit dem Diplom abgeschlossen. Seit April 2001 arbeite ich in der Arbeitsgruppe Grundlagen der Künstlichen Intelligenz unter Leitung von Prof. Dr. Bernhard Nebel.
Von April 2001 bis März 2003 war ich Stipendiat im DFG-Graduiertenkolleg "Menschliche und Maschinelle Intelligenz". Von April 2003 bis März 2004 war ich Stipendiat im DFG-Graduiertenkolleg "Mathematische Logik und Anwendungen". Von April 2004 bis März 2006 arbeitete ich überwiegend im SFB/Transregio AVACS. Ich habe meine Dissertation im März 2006 eingereicht und im Juni 2006 verteidigt. Von April 2004 bis November 2006 war ich als wissenschaftlicher Angestellter beschäftigt. Im Dezember 2006 wurde ich zum akademischen Rat ernannt. Im Juni 2011 habe ich die Albert-Ludwigs-Universität verlassen, um eine Stelle als Professor an der Universität Basel anzutreten.
Für weitere Informationen verweise ich auf meinen akademischen Lebenslauf (PDF, auf Englisch).
Projekte
- Planungssystem: Fast Downward
- Planungssystem: MIPS (wird inzwischen von Stefan Edelkamp weiter entwickelt)
- Vertex-Cover-Solver: COVER (siehe Silvia Richters Homepage)