Prof. Dr. Michael Kohlhase
Department of Informatics, Knowledge Representation/Processing (Computer Science)
Adjunct associate professor for Computer Science at Carnegie Mellon University
Friedrich-Alexander-Universität Erlangen-Nürnberg
michael.kohlhase@fau.de
See my profile at FAU
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
FAU MoD Lecture: Prospects of formalized Mathematics (November 2, 2023)
Publications
No publications found.
You might like!
• Our FAU MoD Community
• About us
• FAU MoD Lecture Series
• Upcoming events
Trends in Mathematical Sciences
Next June 10 - 14, 2024, our FAU MoD, Researcher Center for Mathematics of Data at FAU, Friedrich-Alexander-Universität Erlangen-Nürnberg is ...
FAU MoD Lecture: Using system knowledge for improved sample efficiency in data-driven modeling and control of complex technical systems
Date: Wed. May 15, 2024 Event: FAU MoD Lecture Organized by: FAU MoD, the Research Center for Mathematics of Data ...
CIN-PDE 2024 Workshop on Control, Inversion and Numerics for PDEs
Next October, the Fudan University is hosting the 2nd. edition of the Workshop on Control, Inversion and Numerics for PDEs ...