Michael Kohlhase

Prof. Dr. Michael Kohlhase

Email
Knowledge representation for STEM (Science, Technology, Engineering, Mathematics), Inference-based techniques for natural language processing, Computer-supported education and user assitance, Research data management, Mathematical knowledge, inference, computation, language, and examples as data

Member at FAU MoD, Research Center for Mathematics of Data
Friedrich-Alexander-Universität Erlangen-Nürnberg
Department of Informatics, Knowledge Representation/Processing (Computer Science)
Adjunct associate professor for Computer Science at Carnegie Mellon University

Research Gate | ORCID | Google Scholar
FAU profile | LinkedIn
 

News / Initiatives

• 
  
  FAU MoD Lecture: Prospects of formalized mathematics
  Authors: Michael Kohlhase, Edriss S. Titi
  Date: November 2, 2023
  See more

↑ Back to top

 

 

Publications

• My publications @FAU-CRIS

No publications found.

↑ Back to top

  
_

You might like!

• About FAU MoD
• FAU MoD Community
• FAU MoD Lecture Series
• FAU MoD Courses / Workshops
• FAU MoD News