Freie Universität Berlin

Service Navigation

Computational Metaphysics

Christoph Benzmüller bei der Verleihung des Lehrpreises.
Computer scientist Dr. Christoph Benzmüller received the Teaching Award. Image Credit: Manuel Krane

Submitted by: PD Dr. Christoph Benzmüller, Max Wisniewski, and Alexander Steen, Institute of Computer Science

The teaching project will take an interdisciplinary approach to introduce students to the current state of research in logic: The research-oriented course for students in master's programs in philosophy, mathematics, and computer science aims, among other things, to introduce them to computer-based proof-assistant systems.