Institute of Computer Science

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.

Gottesbeweis durch Christoph Benzmüller

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.

Volker Roth

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.

Presenting our work groups:

Prof. Agnés Voisard

Databases and Information Systems

The Database and Information Systems Group focuses on both application-oriented and basic research issues in the domains of modeling and algorithm design for data management. These aspects were carried out in two major fields of application, namely information retrieval (Prof. H. Schweppe) and ...

Kolloquium Informatik

Informatik Nachrichten