Traditionally, computer science is considered as the science of the automatic processing, saving and transmission of data. Up to today, the principles of construction and programming of processors make up the core of computer science. A further development of the science is, however, strongly determined by the requirements of the applications. This development is reflected in the focus of the Institute of Computer Science.
The first years of study of our computer science degrees at the Freie Universität consequently teach basic principles and knowledge of long-term usability. Later courses and PhD degrees bear more relation to the application-oriented projects of the institute's work groups, which cooperate with external partners from industry and academia, e.g. Bio-Informatics or Dahlem Center for Intelligent Systems.
Formalization and Automation of Gödel's Proof of God's Existence
Goedel's ontological proof has been analysed for the first-time with an unprecedent degree of detail and formality with the help of higher-order theorem provers.
Whistleblowers and AdLeaks - a System for Anonymous Data Transfer
Prof. Volker Roth investigates a system allowing a person to remain anonymous when tranferring data via internet.. The AdLeaks system is being developed and tested in the EU project CONFINE. A first version of the source code is available for download.
The work group "Programming Languages" deals with the theory of programming, formal semantics of programming languages, implementation of functional programming languages, model-driven software development, and innovative concepts in teaching computer science.