Michael Kohlhase

Michael Kohlhase

Michael Kohlhase (Erlangen, 13 settembre 1964) è un informatico e matematico tedesco, attualmente professore alla Scuola di Ingegneria e Scienza della Jacobs University di Brema, Germania; qui dirige il gruppo di ricerca KWARC (Knowledge Adaptation and Reasoning for Content).

Impegni accademici

Michael Kohlhase è titolare di un insegnamento anche alla Carnegie Mellon University ed (2006-2008) vice direttore del Department of Safe and Secure Cognitive Systems del Centro di ricerca tedesco sull'intelligenza artificiale (DFKI) a Brema.

È presidente della OpenMath Society ed è uno dei trustee dell'Interest Group per la Mathematical Knowledge Management (MKM). È stato uno dei trustee della Conference on Automated Deduction e dell'Interest Group CALCULEMUS. È stato Conference Chair del 21-esimo CADE-21 e Program Chair delle conferenze German Annual Conference on Artificial Intelligence del 2006 (KI-2006), Mathematical Knowledge Management del 2005 (MKM-2005), e di CALCULEMUS-2000; inoltre ha fatto parte dei comitati di programma di alcune decine di conferenze internazionali. È autore, o ha collaborato alla stesura di quattro libri e più di 100 pubblicazioni.

Opere

V. qui per una bibliografia più completa

• Michael Kohlhase OMDoc: Open Mathematical Documents [Version 1.2], Springer Verlag, LNAI 4180, 2006.
• Christian Freksa, Michael Kohlhase, Kerstin Schill (eds.): The 29th Annual German Conference on Artificial Intelligence, KI 2006, LNAI 4314, Springer Verlag, 2006.
• Michael Kohlhase (ed.): 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, Proceedings of the CALCULEMUS-2000 Symposium, AKPeters, Boston 2001.

Altri progetti

Altri progetti

• Wikimedia Commons

• Wikimedia Commons contiene immagini o altri file su Michael Kohlhase

Collegamenti esterni

• Michael Kohlhase's website at the Jacobs University, su kwarc.info.
• Knowledge Adaptation and Reasoning for Content, su kwarc.info.
• DFKI Lab Bremen, Safe and Secure Cognitive Systems, su dfki.de. URL consultato il 29 gennaio 2009 (archiviato dall'url originale l'8 novembre 2009).
• OpenMath Society, su openmath.org.
• MathWeb, un sito per progetti afferenti alla MKM