Universitätsplatz 2
39106
Magdeburg
Tel.:+49 391 6754985
Prof. Dr.-Ing. habil. Till Mossakowski
Otto-von-Guericke-Universität Magdeburg
Institut für Intelligente Kooperierende Systeme
Unsere Forschung und Lehre konzentriert sich auf die Entwicklung und Anwendung formaler und semantischer (d.h. mathematisch begründeter) Methoden zur Untersuchung, Modellierung komplexer Systeme in verschiedenen Bereichen der Informatik. Schwerpunkt ist die Wissensrepräsentation mittels Ontologien und Knowledge Graphen.Ein zentrales Thema ist die Heterogenität, die sich aus unterschiedlichen Sichtweisen auf ein System ergibt, die in unterschiedlichen räumlich-zeitlichen Constraint-Kalkülen oder unterschiedlichen logischen Formalismen formuliert sind. Modularität und Heterogenität sind Schlüsseltechniken für einen "Divide-and-conquer"-Ansatz für komplexe Systeme.
In den letzten Jahren haben wir begonnen, an der neurosymbolischen Integration zu arbeiten. Dabei integrieren wir ontologisches Hintergrundwissen in den Lernprozess neuronaler Netze.
Profil • Service
Vita
1986 |
Abitur |
1987 - 1989 |
Zivildienst beim Deutschen Paritätischen Wohlfahrtsverband |
1986 - 1992 |
Studium der Informatik an der Universität Bremen |
1989-1992 |
Förderung durch die Studienstiftung des deutschen Volkes |
1992 |
Diplom, Note "sehr gut" |
1993 - 1996 |
Promotionsstipendium der Studienstiftung des deutschen Volkes |
1996 |
Promotion, Prädikat "summa cum laude" |
1996 - 2000 |
Postdoktorandenstipendium der Universität Bremen bei Prof. Dr. Hans-Jörg Kreowski |
2000 - 2002 |
wissenschaftlicher Mitarbeiter der Universität Bremen, formale Methoden der Softwaretechnik |
2002 - 2005 |
wissenschaftlicher Assistent der Universität Bremen, formale Methoden der Softwaretechnik |
2005 |
Habilitation |
2008 - 2009 |
Vertretungsprofessur (für Prof. Dr. Bernhard Nebel) an der Albert-Ludwigs-Universität Freiburg |
2011 |
Verleihung der Bezeichnung Professor durch die Universität Bremen |
2006 - 2013 |
Senior Researcher am Deutschen Forschungszentrum für künstliche Intelligenz GmbH |
2013 |
Ruf auf die Professur "Kognitive Systeme" der Friedrich-Alexander-Universität Erlangen-Nürnberg (abgelehnt) |
seit Oktober 2013 |
Professor für theoretische Informatik, Otto-von-Guericke Universität Magdeburg |
Expertenprofil
- Semantische Methoden und formale Ontologien
- Neuro-symbolische Integration
- Modellierung für elektrische Netze und erneuerbare Energien
- Qualitative räumlich-zeitliche Constraint satisfaction-Probleme
Serviceangebot
- Ontologische Modellierung
- neuro-symbolische Verfahren
Forschung • Kooperationen
Projekte
Kooperationsliste
- Agencia Estatal Consejo Superior de Investigaciones Cientificas, Spanien
- Aristotelio Panepistimio Thessalonikis, Griechenland
- DLR Institut für Vernetzte Energiesysteme
- Die kooperation
- Fraunhofer IEE
- Goldsmiths´College London, Großbritannien
- Helmholtz-Zentrum Geesthacht
- Reiner Lemoine-Institut Berlin, Next Energy - EWE-Forschungszentrum für Energietechnologie e. V., Oldenburg, Zentrum für nachhaltige Energiesysteme, Flensburg
- The University of Edinburgh, Großbritannien
- University of Dundee, Großbritannien
- Universität Osnabrück, Deutschland
- open_eGo