Mathematische Logik und deren Anwendung auf die Grundlagen der Informatik prägen die Laufbahn von Johann A. Makowsky. 1948 in Ungarn geboren und später mit Schweizer Staatsbürgerschaft, absolvierte er ein anspruchsvolles akademisches Studium an der ETH Zürich. Sein beruflicher Weg führte ihn durch internationale Forschungslandschaften und beeinflusste Fachgebiete von der Modelltheorie und Graphenalgorithmen bis hin zur Datenbankkomplexität und Logikprogrammierung.
Akademische Ausbildung
Makowsky immatrikulierte sich 1967 an der ETH Zürich und schloss sein Studium 1971 ab. Unter der Betreuung von Ernst Specker und Hans Läuchli erarbeitete er sich ein Fundament in mathematischer Logik. Seine Ausbildung dehnte sich über die Grenzen der Schweiz hinaus aus: Das Jahr 1972 verbrachte er in Warschau bei der Zusammenarbeit mit Andrzej Mostowski und Witek Marek. Zudem belegte er Lehrveranstaltungen bei Beno Eckmann in Topologie und Geometrie sowie bei Volker Strassen in der Algorithmik, ehe er 1974 zum Dr. math.sc. promoviert wurde.
Forschung und berufliche Laufbahn
Seine Karriere umfasst zahlreiche Gastprofessuren an globalen Institutionen, darunter die Stanford University, die Simon Fraser University, die Universität Florenz und die Universität Lausanne. Feste akademische Positionen hatte er an der Freien Universität Berlin sowie am Technion – Israel Institute of Technology in Haifa inne, wo er als ordentlicher Professor wirkte. Seit 2016 trägt er den Titel eines emeritierten Professors am Technion und ist weiterhin in der Forschung sowie bei der Betreuung von Doktoranden aktiv.
Beiträge zur Logik und Informatik
Makowsky erzielte bedeutende Ergebnisse in der Modelltheorie, insbesondere zur Kategorifizitätstheorie sowie zu Interpolations- und Kompaktheitseigenschaften gemeinsam mit Saharon Shelah und Jonathan Stavi. Seine Arbeiten zur Datenbanktheorie ermittelten zusammen mit Ashok Chandra und Harry Lewis die ersten Unentscheidbarkeitsresultate für Konsequenzprobleme im Zusammenhang mit Abhängigkeiten. Darüber hinaus arbeitete er an der Vereinigung von Entity-Relationship-Modellen mit relationalen Modellen und untersuchte die Komplexität von Horn-Formeln.
Graphentheorie und Fachgremien
Im Bereich der Graphenalgorithmen entwickelte er einen modelltheoretischen Ansatz für Baumweite und Cliquenweite (tree-width und clique-width). Diese Forschung trug zu einer allgemeinen Theorie von Graphenpolynomen und deren Definierbarkeit in logischen Formalismen bei. Über seine technische Forschung hinaus war er 1992 Gründungsmitglied der European Association for Computer Science Logic (EACSL). Von 2002 bis 2004 fungierte er als Vizepräsident und von 2004 bis 2009 als Präsident der Organisation, während seiner Amtszeit rief er den Ackermann-Preis ins Leben.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Steckbrief
- Geboren: 1948, Ungarn - Staatsbürgerschaft: Schweiz - Ausbildung: ETH Zürich - Hauptgebiete: Mathematik, Informatik, Logik - Akademischer Status: Professor emeritus, Technion - Mitgliedschaften: European Association for Computer Science Logic
Häufig gestellte Fragen
### Wo hat Johann Makowsky promoviert?
Er wurde 1974 an der ETH Zürich zum Dr. math.sc. promoviert.
### Welchen spezifischen Preis rief Makowsky während seiner Zeit bei der EACSL ins Leben?
Er begründete den EACSL Ackermann-Preis, der herausragende Dissertationen in der theoretischen Informatik und Logik auszeichnet.
### Ist Johann Makowsky noch wissenschaftlich aktiv?
Ja, er ist nach wie vor als emeritierter Professor am Technion aktiv, wo er weiterhin lehrt und Graduiertenstudierende betreut.
