La logique mathématique et son application aux fondements de l'informatique définissent la carrière de Johann A. Makowsky. Né en Hongrie en 1948 et ayant ensuite acquis la nationalité suisse, il a poursuivi une formation académique rigoureuse à l'EPF de Zurich. Son parcours professionnel a navigué à travers des paysages de recherche internationaux, influençant des domaines allant de la théorie des modèles et des algorithmes de graphes à la complexité des bases de données et à la programmation logique.
Formation académique
Makowsky s'est inscrit à l'EPF de Zurich en 1967 et a achevé ses études en 1971. Sous la direction d'Ernst Specker et de Hans Läuchli, il a développé une base en logique mathématique. Sa formation s'est étendue au-delà de la Suisse, puisqu'il a passé l'année 1972 à Varsovie en travaillant avec Andrzej Mostowski et Witek Marek. Il a également suivi les enseignements de Beno Eckmann en topologie et géométrie, ainsi que ceux de Volker Strassen en algorithmique, obtenant finalement son doctorat en sciences mathématiques (Dr. math.sc.) en 1974.
Recherche et parcours professionnel
Sa carrière englobe de nombreux postes de professeur invité dans des institutions mondiales, notamment l'Université Stanford, l'Université Simon Fraser, l'Université de Florence et l'Université de Lausanne. Il a occupé des postes académiques permanents à l'Université libre de Berlin et au Technion – Institut technologique d'Israël à Haifa, où il a exercé en tant que professeur titulaire. Depuis 2016, il détient le titre de professeur émérite au Technion, tout en maintenant son engagement dans la recherche et l'encadrement d'étudiants diplômés.
Contributions à la logique et à l'informatique
Makowsky a produit des résultats significatifs en théorie des modèles, en particulier concernant la théorie de la catégo-ricité ainsi que les propriétés d'interpolation et de compacité aux côtés de Saharon Shelah et Jonathan Stavi. Ses travaux en théorie des bases de données ont identifié les premiers résultats d'indécidabilité pour des problèmes de conséquence liés aux dépendances, en collaboration avec Ashok Chandra et Harry Lewis. En outre, il a collaboré à l'unification des modèles entité-relation avec les modèles relationnels et a étudié la complexité des formules de Horn.
Théorie des graphes et service professionnel
Dans le domaine des algorithmes de graphes, il a développé une approche théorique des modèles pour la largeur d'arbre et la largeur de clique (tree-width et clique-width). Cette recherche a contribué à une théorie générale des polynômes de graphes et de leur définissabilité dans des formalismes logiques. Au-delà de la recherche technique, il a été membre fondateur de l'Association européenne pour la logique en informatique (EACSL) en 1992. Il a occupé les fonctions de vice-président de l'organisation de 2002 à 2004, puis de président de 2004 à 2009, période durant laquelle il a inauguré le prix Ackermann.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →En bref
- Naissance : 1948, Hongrie - Nationalité : Suisse - Éducation : EPF de Zurich - Domaines principaux : Mathématiques, Informatique, Logique - Statut académique : Professeur émérite, Technion - Affiliation professionnelle : Association européenne pour la logique en informatique
Questions fréquentes
### Où Johann Makowsky a-t-il obtenu son doctorat ?
Il a obtenu son doctorat en sciences mathématiques (Dr. math.sc.) à l'EPF de Zurich en 1974.
### Quel prix spécifique Makowsky a-t-il créé durant son mandat à l'EACSL ?
Il a créé le prix Ackermann de l'EACSL, qui récompense des thèses de doctorat exceptionnelles en logique informatique.
### Johann Makowsky est-il toujours actif dans le milieu académique ?
Oui, il reste actif en tant que professeur émérite au Technion, où il continue d'enseigner et d'encadrer des étudiants diplômés.
