Seminars

View all Seminars  |  Download ICal for this event

Flexiformal Methods - From Modular Foundations to AI-Supported Education

Series: Department Seminar

Speaker: Michael Kohlhase

Date/Time: Mar 18 11:00:00

Location: CSA Seminar Hall (Room No. 254, First Floor)

Abstract:
Classical Formal Methods (FM) incur a steep incur learning curve and a high formalization investment, but promise definite, computer-verified answers, since formal systems are fully machine-actionable. This essentially makes FM into a niche technology for safety-critical applications. In this talk we introduce the idea of

Speaker Bio:
Dr. Michael Kohlhase is Professor for Knowledge Representation and Processing at FAU Erlangen Nürnberg (Department of Computer Science). He studied pure mathematics at the Universities of Tübingen and Bonn (1983 - 1989) and continued with computer science, in particular higher-order unification and automated theorem proving (Ph.D. 1994, Saarland University). From 2000-2003 he was a Heisenberg stipendiate at Carnegie Mellon University and still holds an adjunct associate professorship there. From 2003-2016 he was a full professor for Computer Science at Jacobs University, Bremen. His current research interests include knowledge representation for mathematics, inference-based techniques for natural language processing, and computer-supported education. He pursues these (interrelated) topics focusing on the aspects of modular foundations (usually logical methods) and large-scale structures in document corpora. He has pursued these interests during extended visits to Carnegie Mellon University, SRI International, and the Universities of Amsterdam, Edinburgh, and Auckland.

Host Faculty: Deepak D'Souza