Startseite

Flat View
Nach Jahr
Monatsansicht
Nach Monat
Weekly View
Nach Woche
Daily View
Heute
Zu Monat
Zu Monat
Search
Suche
MODULE IN KOMPLEXEN SYSTEMEN GESCHICKT KOMBINIERT
Mittwoch, 04. Dezember 2013, 13:00
Aufrufe : 697
von Diese E-Mail-Adresse ist vor Spambots geschützt! Zur Anzeige muss JavaScript eingeschaltet sein.

MODULE IN KOMPLEXEN SYSTEMEN GESCHICKT KOMBINIERT
Mit Antrittsvorlesung zu Modularität und Kombination stellt sich neuer Informatikprofessor vor


Die Fakultät für Informatik der Otto-von-Guericke-Universität Magdeburg (OVGU) lädt am 4. Dezember 2013 zur Antrittsvorlesung von Prof. Dr. Till Mossakowski ein. Der im Oktober 2013 an die OVGU berufene Professor für Theoretische Informatik – Formale Methoden und Semantik wird sich mit einem Vortrag über Modularität und Kombination der Universitätsöffentlichkeit und interessierten Gästen vorstellen.

Was:     Antrittsvorlesung von Prof. Dr. Till Mossakowski, Modularität und Kombination, Fakultät für Informatik der OVGU
Wann:  04. Dezember 2013, 13:00 Uhr
Wo:      Otto-von-Guericke-Universität Magdeburg, Campus Universitätsplatz 2, Gebäude 29, Raum 307 (Hörsaal)


Komplexe Systeme modular aufzubauen, hat viele Vorteile: von der Verständlichkeit über Wartbarkeit bis hin zur besser möglichen Arbeitsteilung. Module können wiederverwendet werden, aber auch auf verschiedene Weise kombiniert werden. Diese Techniken und entsprechende Software-Unterstützung können in verschiedenen Bereichen Anwendung finden. In der Software-Spezifikation beispielsweise geht es um die Entwicklung von sicherer und korrekter Software. Bei der ontologischen Modellierung werden Begriffssysteme aufgebaut, die zur Repräsentation und Verarbeitung von Wissen in verschiedenen Anwendungsgebieten dienen. Und die Rolle von Modularität in Begriffsbildung und Kreativität erforschen der Magdeburger Informatikprofessor und sein Team gemeinsam mit internationalen Partnern in einem von der EU geförderten Projekt.

Till Mossakowski, Jahrgang 1967, hat Informatik an der Universität Bremen studiert und dort auch mit einem Promotionsstipendium der Studienstiftung des deutschen Volkes promoviert und sich später habilitiert. An der Albert-Ludwigs-Universität Freiburg vertrat er eine Professur für künstliche Intelligenz. Als Senior Researcher arbeitete Professor Mossakowski am Deutschen Forschungszentrum für künstliche Intelligenz bis zu seinem Wechsel nach Magdeburg.

Ort siehe Beschreibung
Wir benutzen Cookies

Wir nutzen Cookies auf unserer Website. Einige von ihnen sind essenziell für den Betrieb der Seite, während andere uns helfen, diese Website und die Nutzererfahrung zu verbessern (Tracking Cookies). Sie können selbst entscheiden, ob Sie die Cookies zulassen möchten. Bitte beachten Sie, dass bei einer Ablehnung womöglich nicht mehr alle Funktionalitäten der Seite zur Verfügung stehen.