OMDoc'un geliştirilmesi, matematiksel bilgiyi temsil etmek için yapılandırılmış bir çerçeve sağlar ve Alman bilgisayar bilimcisi Michael Kohlhase'in önemli bir katkısını işaret eder. 1964 yılında Erlangen'de doğan Kohlhase, profesyonel kariyerini matematik ve yapay zekanın kesişimine adamış, hesaplama sistemlerinin karmaşık mantıksal yapıları nasıl işlediğine, depoladığına ve doğruladığına odaklanmıştır.
Akademik Temel
Michael Kohlhase, 1989 yılında Bonn Üniversitesi'nde Matematik derecesini tamamladı. Daha sonra bilgisayar bilimlerinde ileri çalışmalar yapmak üzere Saarland Üniversitesi'ne geçti, 1994 yılında doktorasını aldı ve 1999 yılında habilitasyonunu tamamladı. Bu dönemde, Carnegie Mellon Üniversitesi, Amsterdam Üniversitesi, Edinburgh Üniversitesi ve SRI International dahil olmak üzere çeşitli uluslararası kurumlarda kapsamlı araştırma ziyaretlerinde bulundu.
Araştırma ve Hesaplamalı Katkılar
Birincil araştırma ilgi alanları, otomatik teorem kanıtlama ve matematik için bilgi temsili sistemlerinin geliştirilmesini içerir. Çalışmalarının çoğu, MathML, OpenMath ve OMDoc gibi web tabanlı içerik işaretleme formatlarını kullanır. Ayrıca doğal dil işleme ve bilgisayar destekli eğitim için çıkarım tabanlı tekniklere odaklanır. Pratik uygulamaları arasında matematiksel formüller için anlamsal arama motorları oluşturmak ve arXiv'den eski belgeleri dönüştürmek için araçlar dahil olmak üzere LaTeX için anlamsal uzantılar oluşturmak yer alır.
Kurumsal Atamalar
Kohlhase, kariyeri boyunca çok sayıda akademik ve idari pozisyonda bulunmuştur. 2000 ile 2003 yılları arasında, Carnegie Mellon Üniversitesi Bilgisayar Bilimleri Okulu'nda araştırma yapmış ve ders vermiş, burada yardımcı doçent olarak görev yapmıştır. 2003'ten 2006'ya kadar Jacobs Üniversitesi Bremen'de Bilgisayar Bilimleri Profesörü olarak görev yapmıştır. Eş zamanlı olarak, 2006'dan 2008'e kadar Bremen'deki Alman Yapay Zeka Araştırma Merkezi'nde Güvenli Bilişsel Sistemler Bölümü'nün direktör yardımcılığını yapmıştır. Eylül 2016'da, aynı zamanda KWARC araştırma grubunu yönettiği Erlangen-Nürnberg Üniversitesi'nde Bilgi Temsili ve İşleme Profesörü olarak görevine başlamıştır.
Profesyonel Hizmet
Kurumsal rollerinin ötesinde, Kohlhase liderlik ve komite hizmeti yoluyla daha geniş bilimsel topluluğa katkıda bulunmuştur. OpenMath Derneği'nin başkanı olarak görev yapmakta ve Matematiksel Bilgi Yönetimi İlgi Grubu'nun mütevelli heyeti üyesidir. Geçmiş liderlik rolleri arasında CADE-21 Konferans Başkanı ve KI-2006, MKM-2005 ve CALCULEMUS-2000 konferansları için Program Başkanı olarak görev yapmak yer alır. Üç düzineden fazla uluslararası konferansın program komitelerinde görev almış ve yaklaşık 100 hakemli makalenin yanı sıra dört kitap yazmış veya düzenlemiştir.
Hızlı gerçekler
- Doğum: 1964, Erlangen, Almanya - Eğitim: Bonn Üniversitesi (Matematik), Saarland Üniversitesi (Bilgisayar Bilimleri) - Mevcut Pozisyon: Erlangen-Nürnberg Üniversitesi'nde Profesör - Araştırma Grubu: KWARC (İçerik için Bilgi Adaptasyonu ve Akıl Yürütme) - Önemli Çalışma: OMDoc - Ödüller: Heisenberg Bursu (2000), AKI ödülü (1996) - Diller: Almanca, İngilizce
Okuyucuların sorduğu sorular
### Michael Kohlhase'in araştırmasının birincil odağı nedir?
Araştırması, otomatik teorem kanıtlama, matematiksel bilgi temsili ve OMDoc ve OpenMath gibi matematiksel içeriği yönetmek için hesaplama sistemlerine odaklanmaktadır.
### Michael Kohlhase şu anda nerede ders veriyor?
Erlangen-Nürnberg Üniversitesi'nde Bilgi Temsili ve İşleme Profesörüdür.
