O desenvolvimento do OMDoc fornece uma estrutura organizada para representar o conhecimento matemático, marcando uma contribuição significativa do cientista da computação alemão Michael Kohlhase. Nascido em Erlangen em 1964, ele dedicou sua carreira profissional à interseção da matemática e da inteligência artificial, concentrando-se em como os sistemas computacionais processam, armazenam e verificam estruturas lógicas complexas.
Base acadêmica
Michael Kohlhase concluiu sua graduação em Matemática na Universidade de Bonn em 1989. Posteriormente, mudou-se para a Universidade do Sarre para realizar estudos avançados em ciência da computação, obtendo seu doutorado em 1994 e concluindo sua habilitação em 1999. Durante esse período, participou de extensas visitas de pesquisa em várias instituições internacionais, incluindo a Universidade Carnegie Mellon, a Universidade de Amsterdã, a Universidade de Edimburgo e a SRI International.
Pesquisa e contribuições computacionais
Seus principais interesses de pesquisa envolvem a prova automática de teoremas e o desenvolvimento de sistemas de representação de conhecimento para a matemática. Grande parte de seu trabalho utiliza formatos de marcação de conteúdo baseados na web, como MathML, OpenMath e OMDoc. Ele também se concentra em técnicas baseadas em inferência para processamento de linguagem natural e educação assistida por computador. Suas aplicações práticas incluem a construção de motores de busca semânticos para fórmulas matemáticas e a criação de extensões semânticas para LaTeX, incluindo ferramentas para converter documentos legados do arXiv.
Cargos institucionais
Kohlhase ocupou inúmeros cargos acadêmicos e administrativos ao longo de sua carreira. Entre 2000 e 2003, conduziu pesquisas e lecionou na Escola de Ciência da Computação da Universidade Carnegie Mellon, onde atuou como professor associado adjunto. De 2003 a 2006, foi professor de Ciência da Computação na Universidade Jacobs de Bremen. Simultaneamente, atuou como vice-diretor do Departamento de Sistemas Cognitivos Seguros no Centro Alemão de Pesquisa em Inteligência Artificial em Bremen, de 2006 a 2008. Em setembro de 2016, iniciou seu mandato como professor de Representação e Processamento de Conhecimento na Universidade de Erlangen-Nuremberg, onde também lidera o grupo de pesquisa KWARC.
Vinte perguntas, oito minutos no relógio e um percentil medido contra todos os que já fizeram. Sem cadastro.
Fazer o teste de QI →Serviço profissional
Além de suas funções institucionais, Kohlhase contribuiu para a comunidade científica em geral por meio de liderança e serviço em comitês. Ele atua como presidente da OpenMath Society e é curador do Grupo de Interesse para Gestão de Conhecimento Matemático. Seus cargos de liderança anteriores incluem atuar como Presidente da Conferência CADE-21 e Presidente do Programa para as conferências KI-2006, MKM-2005 e CALCULEMUS-2000. Ele serviu em comitês de programa de mais de três dúzias de conferências internacionais e escreveu ou editou quatro livros, além de quase 100 artigos revisados por pares.
Fatos rápidos
- Nascimento: 1964, Erlangen, Alemanha - Educação: Universidade de Bonn (Matemática), Universidade do Sarre (Ciência da Computação) - Cargo atual: Professor na Universidade de Erlangen-Nuremberg - Grupo de pesquisa: KWARC (Adaptação de Conhecimento e Raciocínio para Conteúdo) - Trabalho notável: OMDoc - Prêmios: Bolsa Heisenberg (2000), prêmio AKI (1996) - Idiomas: Alemão, inglês
Perguntas dos leitores
### Qual é o foco principal da pesquisa de Michael Kohlhase?
Sua pesquisa concentra-se na prova automática de teoremas, representação de conhecimento matemático e sistemas computacionais para gerenciar conteúdo matemático, como OMDoc e OpenMath.
### Onde Michael Kohlhase leciona atualmente?
Ele é professor de Representação e Processamento de Conhecimento na Universidade de Erlangen-Nuremberg.
