El desarrollo de OMDoc proporciona un marco estructurado para representar el conocimiento matemático, marcando una contribución significativa del informático alemán Michael Kohlhase. Nacido en Erlangen en 1964, ha dedicado su carrera profesional a la intersección de las matemáticas y la inteligencia artificial, centrándose en cómo los sistemas computacionales procesan, almacenan y verifican estructuras lógicas complejas.
Fundamentos académicos
Michael Kohlhase obtuvo su título en Matemáticas en la Universidad de Bonn en 1989. Posteriormente se trasladó a la Universidad del Sarre para realizar estudios avanzados en informática, obteniendo su doctorado en 1994 y completando su habilitación en 1999. Durante este periodo, realizó extensas estancias de investigación en varias instituciones internacionales, incluyendo la Universidad Carnegie Mellon, la Universidad de Ámsterdam, la Universidad de Edimburgo y SRI International.
Investigación y contribuciones computacionales
Sus principales intereses de investigación incluyen la demostración automática de teoremas y el desarrollo de sistemas de representación del conocimiento para las matemáticas. Gran parte de su trabajo utiliza formatos de marcado de contenido basados en la web como MathML, OpenMath y OMDoc. También se centra en técnicas basadas en inferencia para el procesamiento del lenguaje natural y la educación asistida por ordenador. Sus aplicaciones prácticas incluyen la creación de motores de búsqueda semánticos para fórmulas matemáticas y la creación de extensiones semánticas para LaTeX, incluyendo herramientas para convertir documentos heredados de arXiv.
Cargos institucionales
Kohlhase ha ocupado numerosos cargos académicos y administrativos a lo largo de su carrera. Entre 2000 y 2003, realizó investigaciones y enseñó en la Escuela de Ciencias de la Computación de la Universidad Carnegie Mellon, donde fue profesor asociado adjunto. De 2003 a 2006, fue profesor de informática en la Universidad Jacobs de Bremen. Simultáneamente, fue subdirector del Departamento de Sistemas Cognitivos Seguros en el Centro Alemán de Investigación para la Inteligencia Artificial en Bremen de 2006 a 2008. En septiembre de 2016, comenzó su mandato como profesor de Representación y Procesamiento del Conocimiento en la Universidad de Erlangen-Núremberg, donde también dirige el grupo de investigación KWARC.
Veinte preguntas, ocho minutos de reloj y un percentil medido frente a todos los que la han hecho. Sin registro.
Hacer la prueba de CI →Servicio profesional
Más allá de sus funciones institucionales, Kohlhase ha contribuido a la comunidad científica en general a través del liderazgo y el servicio en comités. Es presidente de la OpenMath Society y fideicomisario del Grupo de Interés para la Gestión del Conocimiento Matemático. Sus funciones de liderazgo anteriores incluyen haber sido presidente de la conferencia CADE-21 y presidente del programa para las conferencias KI-2006, MKM-2005 y CALCULEMUS-2000. Ha formado parte de los comités de programa de más de tres docenas de conferencias internacionales y ha escrito o editado cuatro libros junto con casi 100 artículos revisados por pares.
Datos rápidos
- Nacimiento: 1964, Erlangen, Alemania - Educación: Universidad de Bonn (Matemáticas), Universidad del Sarre (Informática) - Puesto actual: Profesor en la Universidad de Erlangen-Núremberg - Grupo de investigación: KWARC (Adaptación del conocimiento y razonamiento para el contenido) - Obra notable: OMDoc - Premios: Beca Heisenberg (2000), premio AKI (1996) - Idiomas: Alemán, inglés
Preguntas frecuentes de los lectores
### ¿Cuál es el enfoque principal de la investigación de Michael Kohlhase?
Su investigación se centra en la demostración automática de teoremas, la representación del conocimiento matemático y los sistemas computacionales para gestionar contenido matemático como OMDoc y OpenMath.
### ¿Dónde enseña actualmente Michael Kohlhase?
Es profesor de Representación y Procesamiento del Conocimiento en la Universidad de Erlangen-Núremberg.
