Lo sviluppo di OMDoc fornisce un framework strutturato per rappresentare la conoscenza matematica, segnando un contributo significativo dell'informatico tedesco Michael Kohlhase. Nato a Erlangen nel 1964, ha dedicato la sua carriera professionale all'intersezione tra matematica e intelligenza artificiale, concentrandosi su come i sistemi computazionali elaborano, archiviano e verificano strutture logiche complesse.
Fondazione accademica
Michael Kohlhase ha conseguito la laurea in Matematica presso l'Università di Bonn nel 1989. Successivamente si è trasferito all'Università del Saarland per intraprendere studi avanzati in informatica, conseguendo il dottorato nel 1994 e completando l'abilitazione nel 1999. Durante questo periodo, ha partecipato a numerose visite di ricerca presso diverse istituzioni internazionali, tra cui la Carnegie Mellon University, l'Università di Amsterdam, l'Università di Edimburgo e SRI International.
Ricerca e contributi computazionali
I suoi principali interessi di ricerca riguardano la dimostrazione automatica di teoremi e lo sviluppo di sistemi di rappresentazione della conoscenza per la matematica. Gran parte del suo lavoro utilizza formati di markup dei contenuti basati sul web come MathML, OpenMath e OMDoc. Si concentra anche su tecniche basate sull'inferenza per l'elaborazione del linguaggio naturale e l'istruzione assistita dal computer. Le sue applicazioni pratiche includono la creazione di motori di ricerca semantici per formule matematiche e la creazione di estensioni semantiche per LaTeX, inclusi strumenti per convertire documenti legacy da arXiv.
Incarichi istituzionali
Kohlhase ha ricoperto numerosi incarichi accademici e amministrativi nel corso della sua carriera. Tra il 2000 e il 2003, ha condotto ricerche e insegnato presso la School of Computer Science della Carnegie Mellon University, dove ha servito come professore associato aggiunto. Dal 2003 al 2006, è stato professore di informatica presso la Jacobs University di Brema. Contemporaneamente, ha servito come vice direttore del Dipartimento di Sistemi Cognitivi Sicuri presso il Centro di ricerca tedesco per l'intelligenza artificiale a Brema dal 2006 al 2008. Nel settembre 2016, ha iniziato il suo mandato come professore di Rappresentazione e Elaborazione della Conoscenza presso l'Università di Erlangen-Norimberga, dove dirige anche il gruppo di ricerca KWARC.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Servizio professionale
Oltre ai suoi ruoli istituzionali, Kohlhase ha contribuito alla comunità scientifica più ampia attraverso la leadership e il servizio in comitati. È presidente della OpenMath Society e amministratore dell'Interest Group for Mathematical Knowledge Management. I suoi precedenti ruoli di leadership includono l'aver agito come Presidente della Conferenza CADE-21 e Presidente del Programma per le conferenze KI-2006, MKM-2005 e CALCULEMUS-2000. Ha fatto parte dei comitati di programma di oltre tre dozzine di conferenze internazionali e ha scritto o curato quattro libri insieme a quasi 100 articoli sottoposti a revisione paritaria.
Fatti rapidi
- Nato: 1964, Erlangen, Germania - Istruzione: Università di Bonn (Matematica), Università del Saarland (Informatica) - Posizione attuale: Professore all'Università di Erlangen-Norimberga - Gruppo di ricerca: KWARC (Adattamento della conoscenza e ragionamento per il contenuto) - Lavoro notevole: OMDoc - Premi: Borsa di studio Heisenberg (2000), premio AKI (1996) - Lingue: Tedesco, inglese
Domande poste dai lettori
### Qual è l'obiettivo principale della ricerca di Michael Kohlhase?
La sua ricerca si concentra sulla dimostrazione automatica di teoremi, sulla rappresentazione della conoscenza matematica e sui sistemi computazionali per la gestione di contenuti matematici come OMDoc e OpenMath.
### Dove insegna attualmente Michael Kohlhase?
È professore di Rappresentazione e Elaborazione della Conoscenza presso l'Università di Erlangen-Norimberga.
