Michael Kohlhase
Michael Kohlhase (nato il 13 settembre 1964 a Erlangen ) è un informatico tedesco e professore presso la Friedrich-Alexander-Universität Erlangen-Nürnberg , dove dirige il gruppo di ricerca KWARC (Knowledge Adaptation and Reasoning for Content) presso la Facoltà di Tecnica .
Vita
Michael Kohlhase è Presidente della OpenMath Society e membro del consiglio del gruppo di interesse Mathematical Knowledge Management (MKM). Ha fatto parte del consiglio della Conference on Automated Deduction e del gruppo di difesa CALCULEMUS . È stato presidente della conferenza CADE -21, direttore del programma delle conferenze KI -2006, MKM -2005 e CALCULEMUS-2000 e ha fatto parte dei comitati di programma di oltre trenta conferenze internazionali. Ha scritto o curato quattro libri e pubblicato quasi 100 articoli sottoposti a revisione paritaria .
Michael Kohlhase è professore associato aggiunto presso la Carnegie Mellon University ed è stato vicedirettore dell'area di ricerca Safe Cognitive Systems presso il laboratorio di Brema del German Research Center for Artificial Intelligence (DFKI) dal 2006 al 2008 .
Michael Kohlhase si è diplomato in matematica nel 1989 presso l' Università di Bonn e nel 1994 ha conseguito il dottorato in informatica e l' abilitazione all'Università del Saarland . Nel corso della sua tesi di dottorato e delle successive ricerche, ha completato soggiorni di ricerca presso la Carnegie Mellon University , l' Università di Amsterdam , l' Università di Edimburgo e presso SRI International . Dal 2000 al 2003 ha svolto attività di ricerca e ha insegnato presso la School of Computer Science della Carnegie Mellon University, dove è stato nominato Professore Associato Aggiunto . Nel settembre 2003 è stato nominato professore di informatica presso l' Università Internazionale di Brema ( Università Jacobs di Brema dal 2007), e dal 2006-2008 è stato vicedirettore del gruppo per i sistemi cognitivi sicuri del laboratorio di Brema del Centro tedesco di ricerca artificiale Intelligence (DFKI). Nel settembre 2016 si è trasferito alla Friedrich-Alexander-Universität Erlangen-Nürnberg .
Dal 2014 è membro del Global Digital Mathematical Library Working Group presso IMU .
Premi e borse di studio
- 2000: borsa di studio Heisenberg di tre anni dalla Fondazione tedesca per la ricerca (DFG).
- 1996: Premio per la tesi AKI del "Gruppo di lavoro degli istituti KI tedeschi (AKI)"
- 1991: borsa di studio di dottorato dalla German National Academic Foundation
- 1986: Borsa di studio della German National Academic Foundation
Interessi di Ricerca
Gli attuali interessi di ricerca di Michael Kohlhase includono prove automatiche e rappresentazione della conoscenza per la matematica , metodi basati sull'inferenza per l'elaborazione del linguaggio naturale e la semantica e l' e-learning .
Gran parte del suo lavoro concreto si basa su linguaggi di markup dei contenuti web come MathML , OpenMath , OMDoc e sistemi per la gestione di tali dati, ad es. B. Motori di ricerca di formule, estensioni semantiche a LaTeX . o la conversione di vecchi documenti LaTeX da arXiv .
Ulteriore lettura (selezione)
- Michael Kohlhase OMDoc: Open Mathematical Documents [Versione 1.2], Springer-Verlag , LNAI 4180, 2006.
- Christian Freksa, Michael Kohlhase, Kerstin Schill (a cura di): The 29th Annual German Conference on Artificial Intelligence, KI 2006, LNAI 4314, Springer-Verlag, 2006.
- Michael Kohlhase (a cura di): Mathematical Knowledge Management, 4th International Conference, MKM 2005, Lecture Notes in Artificial Intelligence 3863, Springer-Verlag, 2005.
- Manfred Kerber, Michael Kohlhase: Symbolic Computation and Automated Reasoning, Atti del Simposio CALCULEMUS-2000, AKPeters, Boston 2001.
link internet
- La homepage di Michael Kohlhase
- Adattamento della conoscenza e ragionamento per i contenuti
- Laboratorio DFKI di Brema, Sistemi cognitivi sicuri
- OpenMath Society
- MathWeb - un sito per progetti MKM
Prove individuali
- ↑ The Global Digital Mathematical Library Working Group ( Memento of the original from September 21, 2017 in the Internet Archive ) Info: Il link all'archivio è stato inserito automaticamente e non è stato ancora verificato. Controllare l'originale e il collegamento all'archivio secondo le istruzioni, quindi rimuovere questo avviso.
- ↑ archiviati copia ( ricordo del l' originale dal 26 novembre 2014 l' Internet Archive ) Info: Il dell'archivio collegamento è stato inserito automaticamente e non è stata ancora verificata. Controllare l'originale e il collegamento all'archivio secondo le istruzioni, quindi rimuovere questo avviso.
- ↑ archiviati copia ( Memento del l' originale dal 12 settembre 2007 nella Internet Archive ) Info: Il dell'archivio collegamento è stato inserito automaticamente e non è stata ancora verificata. Controllare l'originale e il collegamento all'archivio secondo le istruzioni, quindi rimuovere questo avviso.
- ↑ archiviati copia ( ricordo del l' originale datata 9 febbraio 2008 nella Internet Archive ) Info: Il dell'archivio collegamento è stato inserito automaticamente e non è stata ancora verificata. Controllare l'originale e il collegamento all'archivio secondo le istruzioni, quindi rimuovere questo avviso.
| dati personali | |
|---|---|
| COGNOME | Kohlhase, Michael |
| BREVE DESCRIZIONE | Scienziato informatico tedesco |
| DATA DI NASCITA | 13 settembre 1964 |
| LUOGO DI NASCITA | guadagno |
