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.

Knut Reinert - FU Berlin

Prof. Knut Reinert appointed Max-Planck-Fellow

The MPG appointed Prof. Knut Reinert Max Planck Fellow. Starting in July, he is going to head a team at the Max-Planck-Institut für molekulare Genetik, thereby intensifying scientific cooperation between FU Berlin and MPIMG.


Emmanuel Baccelli teaches at FU Berlin

Emmanuel Baccelli from the internationally renowned INRIA will start a 1-year guest lectureship at Freie Universität Berlin. The French expert for mobile internet communication will enrich the teaching and research spectrum at the Institute of Computer Science.

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 und AdLeaks - ein System zur geheimen Datenübertragung

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. Roth

Secure Identity

Prof. Dr.-Ing. Volker Roth is a Bundesdruckerei GmbH Endowed Professor for Secure Identity. His primary occupation is Computer Science research in the area of information systems security, with a particular interest in secure identity and psychological acceptability of security mechanisms. We are ...

Kolloquium Informatik

Informatik Nachrichten