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.


Computer Science Professor Raúl Rojas at Freie Universität Berlin is University Teacher of the Year

The computer scientist Dr. Raúl Rojas at Freie Universität Berlin was named "University Teacher of the Year" by the German Association of University Professors and Lecturers (Deutscher Hochschulverband, in short DHV). The president of the DHV, Prof. Dr. Bernhard Kempen, said Rojas, who is a professor of intelligent systems and robotics, is an eminent authority and exemplary model for combining research and teaching. The award is worth 10,000 euros and will be presented to Rojas in Mainz on March 23, 2015, during the seventh "Gala of German Science."

Preisverleihung Raul Rojas TSA

British Computer Conservation Society Honors Computer Science Professor Raúl Rojas from Freie Universität Berlin

Computer science professor Raúl Rojas from Freie Universität Berlin has been recognized by the British Computer Conservation Society. The Society – a joint association of the British Computer Society and the Science Museum in London – honored Rojas with the 2014 Tony Sale Award. The award ceremony took place in London. The award was given for Rojas's outstanding contributions to the history of computer science, in particular with regard to the technical and theoretical reconstruction of major computing machines. Robert Garner from the Computer History Museum in California was the co-winner.

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.

Kolloquium Informatik

Informatik Nachrichten