La logica matematica e la sua applicazione ai fondamenti dell'informatica definiscono la carriera di Johann A. Makowsky. Nato in Ungheria nel 1948 e successivamente naturalizzato svizzero, ha intrapreso una rigorosa formazione accademica presso il Politecnico di Zurigo (ETH). Il suo percorso professionale ha toccato contesti di ricerca internazionali, influenzando settori che vanno dalla teoria dei modelli e dagli algoritmi sui grafi fino alla complessità delle basi di dati e alla programmazione logica.
Formazione accademica
Makowsky si è iscritto al Politecnico di Zurigo nel 1967, completando gli studi nel 1971. Sotto la supervisione di Ernst Specker e Hans Läuchli, ha sviluppato solide basi nella logica matematica. La sua formazione si è estesa oltre la Svizzera: ha trascorso il 1972 a Varsavia lavorando con Andrzej Mostowski e Witek Marek. Ha inoltre seguito gli insegnamenti di Beno Eckmann in topologia e geometria, e di Volker Strassen per l'algoritmica, conseguendo infine il dottorato in scienze matematiche (Dr. math.sc.) nel 1974.
Ricerca e carriera professionale
La sua carriera comprende numerosi incarichi di visiting professor presso istituzioni internazionali, tra cui l'Università di Stanford, la Simon Fraser University, l'Università di Firenze e l'Università di Losanna. Ha ricoperto ruoli accademici permanenti presso la Libera Università di Berlino e il Technion – Istituto Tecnologico d'Israele a Haifa, dove è stato professore ordinario. Dal 2016 detiene il titolo di professore emerito presso il Technion, mantenendo il proprio impegno nella ricerca e nella supervisione di studenti di dottorato.
Contributi alla logica e all'informatica
Makowsky ha prodotto risultati significativi nella teoria dei modelli, in particolare riguardo alla teoria della categoricità e alle proprietà di interpolazione e compattezza, insieme a Saharon Shelah e Jonathan Stavi. Il suo lavoro nella teoria delle basi di dati ha individuato i primi risultati di indecidibilità per problemi di conseguenza legati alle dipendenze, in collaborazione con Ashok Chandra e Harry Lewis. Inoltre, ha collaborato all'unificazione dei modelli entità-relazione con i modelli relazionali e ha studiato la complessità delle formule di Horn.
Teoria dei grafi e servizio professionale
Nel campo degli algoritmi sui grafi, ha sviluppato un approccio teorico-model-teorico alla larghezza d'albero (tree-width) e alla larghezza di clique (clique-width). Questa ricerca ha contribuito a una teoria generale dei polinomi sui grafi e alla loro definibilità all'interno di formalismi logici. Oltre alla ricerca tecnica, è stato membro fondatore dell'Associazione Europea per la Logica nell'Informatica (EACSL) nel 1992. Ha ricoperto la carica di vicepresidente dell'organizzazione dal 2002 al 2004 e di presidente dal 2004 al 2009, periodo durante il quale ha inaugurato il Premio Ackermann.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →In breve
- Nato: 1948, Ungheria - Cittadinanza: Svizzera - Formazione: Politecnico di Zurigo (ETH) - Campi principali: Matematica, Informatica, Logica - Stato accademico: Professore emerito, Technion - Affiliazione professionale: Associazione Europea per la Logica nell'Informatica
Domande frequenti
### Dove ha conseguito il dottorato Johann Makowsky?
Ha conseguito il dottorato in scienze matematiche (Dr. math.sc.) presso il Politecnico di Zurigo nel 1974.
### Quale premio specifico ha istituito Makowsky durante la sua permanenza nell'EACSL?
Ha istituito il Premio Ackermann dell'EACSL, che riconosce tesi di dottorato eccezionali nel campo della logica per l'informatica.
### Johann Makowsky è ancora attivo nel mondo accademico?
Sì, rimane attivo come professore emerito presso il Technion, dove continua a insegnare e a supervisionare studenti di dottorato.
