Michael Kohlhase

Da Wikipedia, l'enciclopedia libera.
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[modifica | modifica wikitesto]

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 Deutsches Forschungszentrum für Künstliche Intelligenz, Centro di ricerca tedesco per l'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[modifica | modifica wikitesto]

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[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

Controllo di autorità VIAF: 2721665 LCCN: n00009356