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.

Baccelli

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:

Didaktik der Informatik

Didactics of computer science

Whoever intends to become secondary school teacher in computer science, and thus looks for this type a study course: here you are right. Our seminars, projects and internships are concerned with learning and teaching computer science. Analyzing, planning, and actually giving computer science school ...

Kolloquium Informatik

Informatik Nachrichten