Michael Kohlhase

Le développement d'OMDoc fournit un cadre structuré pour représenter les connaissances mathématiques, marquant une contribution significative de l'informaticien allemand Michael Kohlhase. Né à Erlangen en 1964, il a consacré sa carrière professionnelle à l'intersection des mathématiques et de l'intelligence artificielle, en se concentrant sur la manière dont les systèmes informatiques traitent, stockent et vérifient des structures logiques complexes.

Fondations académiques

Michael Kohlhase a obtenu son diplôme en mathématiques à l'Université de Bonn en 1989. Il a ensuite rejoint l'Université de la Sarre pour poursuivre des études avancées en informatique, obtenant son doctorat en 1994 et complétant son habilitation en 1999. Au cours de cette période, il a effectué de nombreux séjours de recherche dans plusieurs institutions internationales, notamment l'Université Carnegie Mellon, l'Université d'Amsterdam, l'Université d'Édimbourg et SRI International.

Recherche et contributions informatiques

Ses principaux intérêts de recherche portent sur la démonstration automatique de théorèmes et le développement de systèmes de représentation des connaissances pour les mathématiques. Une grande partie de ses travaux utilise des formats de balisage de contenu basés sur le Web tels que MathML, OpenMath et OMDoc. Il se concentre également sur les techniques basées sur l'inférence pour le traitement du langage naturel et l'éducation assistée par ordinateur. Ses applications pratiques incluent la création de moteurs de recherche sémantiques pour les formules mathématiques et la création d'extensions sémantiques pour LaTeX, y compris des outils pour convertir des documents hérités d'arXiv.

Nominations institutionnelles

Kohlhase a occupé de nombreux postes académiques et administratifs tout au long de sa carrière. Entre 2000 et 2003, il a mené des recherches et enseigné à l'École d'informatique de l'Université Carnegie Mellon, où il a été professeur associé adjoint. De 2003 à 2006, il a été professeur d'informatique à l'Université Jacobs de Brême. Parallèlement, il a été vice-directeur du Département des systèmes cognitifs sûrs et sécurisés au Centre allemand de recherche pour l'intelligence artificielle à Brême de 2006 à 2008. En septembre 2016, il a commencé son mandat de professeur de représentation et de traitement des connaissances à l'Université d'Erlangen-Nuremberg, où il dirige également le groupe de recherche KWARC.

Service professionnel

Au-delà de ses rôles institutionnels, Kohlhase a contribué à la communauté scientifique au sens large par le biais du leadership et du service au sein de comités. Il est président de l'OpenMath Society et administrateur du groupe d'intérêt pour la gestion des connaissances mathématiques. Ses rôles de direction passés incluent la présidence de la conférence CADE-21 et la présidence du programme des conférences KI-2006, MKM-2005 et CALCULEMUS-2000. Il a siégé aux comités de programme de plus de trois douzaines de conférences internationales et a écrit ou édité quatre livres ainsi que près de 100 articles évalués par des pairs.

Faits en bref

- Né : 1964, Erlangen, Allemagne - Éducation : Université de Bonn (Mathématiques), Université de la Sarre (Informatique) - Poste actuel : Professeur à l'Université d'Erlangen-Nuremberg - Groupe de recherche : KWARC (Adaptation des connaissances et raisonnement pour le contenu) - Travail notable : OMDoc - Prix : Bourse Heisenberg (2000), prix AKI (1996) - Langues : Allemand, anglais

Questions posées par les lecteurs

### Quel est l'objectif principal des recherches de Michael Kohlhase ?

Ses recherches portent sur la démonstration automatique de théorèmes, la représentation des connaissances mathématiques et les systèmes informatiques de gestion de contenu mathématique tels qu'OMDoc et OpenMath.

### Où Michael Kohlhase enseigne-t-il actuellement ?

Il est professeur de représentation et de traitement des connaissances à l'Université d'Erlangen-Nuremberg.