« Personen
Sie verwenden einen sehr veralteten Browser und können Funktionen dieser Seite nur sehr eingeschränkt nutzen. Bitte aktualisieren Sie Ihren Browser. http://www.browser-update.org/de/update.html
Portraitbild

Universitätsplatz 2

39106

Magdeburg

Tel.:+49 391 6754985

till@iks.cs.ovgu.de

Zur Homepage

Prof. Dr.-Ing. habil. Till Mossakowski

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

Die Schwerpunkte meiner Forschungstätigkeit liegen in den Bereichen:
  • Semantische Methoden und formale Ontologien
  • Neuro-symbolische Integration
  • Modellierung für elektrische Netze und erneuerbare Energien
  • Qualitative räumlich-zeitliche Constraint satisfaction-Probleme

Serviceangebot

Beratung zu:
  • Ontologische Modellierung
  • neuro-symbolische Verfahren

Forschung • Kooperationen

Projekte

Die Daten werden geladen ...

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

Publikationen

Top-5 Publikationen

Die Daten werden geladen ...

Publikationsliste

2023
Die Daten werden geladen ...
2022
Die Daten werden geladen ...
2021
Die Daten werden geladen ...
2020
Die Daten werden geladen ...
2019
Die Daten werden geladen ...
ältere
2018
Die Daten werden geladen ...
2017
Die Daten werden geladen ...
2016
Die Daten werden geladen ...
2015
Die Daten werden geladen ...
2014
Die Daten werden geladen ...
2013
Die Daten werden geladen ...
2012
Die Daten werden geladen ...
2011
Die Daten werden geladen ...
2010
Die Daten werden geladen ...
2009
Die Daten werden geladen ...
2008
Die Daten werden geladen ...
2007
Die Daten werden geladen ...
2006
Die Daten werden geladen ...
2005
Die Daten werden geladen ...
2004
Die Daten werden geladen ...
2003
Die Daten werden geladen ...
2002
Die Daten werden geladen ...
2001
Die Daten werden geladen ...
2000
Die Daten werden geladen ...