Department of Mathematics and Computer Science

We offer a variety of international degrees in Mathematics, Computer Science and Bioinformatics. Interdisciplinary studies benefit from walking distance to the departments of Physics, Chemistry, Biology, Biochemistry, and the Zuse-Institute Berlin. Our excellence in teaching and research is strongly integrated with the Berlin Mathematical School and the DFG research center Matheon.

Prospective students and the general public can participate in a wide spectrum of activities.


Christoph Benzmüller receives FU Central Teaching Award

Christoph Benzmüller, DFG Heisenberg Fellow and Private Lecturer in the Department of Mathematics and Computer Science, received the central Teaching Award of Freie Universität. Within the framework of his research on automated reasoning, logic and formalisation, he submitted a concept for the interdisciplinary lecture "Computational Metaphysics".


Mexican National Prize for Arts and Sciences for Professor Raúl Rojas

Professor Raúl Rojas, who has been a professor of computer science at Freie Universität Berlin since 1997, will receive the National Prize for Arts and Sciences in Mexico on Wednesday. The most prestigious scientific award of the country, comparable to the Leibniz Prize in Germany, will be presented to the winners personally by the President of Mexico Enrique Peña Nieto in the capitol in Mexico City.

Matthias Wählisch wird mit ersten Platz beim Forum Junge Spitzenforscher 2015 ausgezeichnet

Matthias Wählisch receives Young Scientist Award

Matthias Wählisch is the winner of this year's Forum for Excellent Young Scientists for his contributions to the Internet of Things and their prospective entrepreneurial practice. The award includes a 10,000 EUR research grant. The jury recognized his contributions and the contributions of his team to the open source operating system RIOT.

CeBIT 2015@BMBF Booth

Peeroskop at CeBIT 2015

Analyzing and protecting the Internet backbone is the main topic of the project Peeroskop. The Computer Systems & Telematics group does not only show how you can easily hijack Internet traffic but also how to protect against common threads. Part of the demo is open source software developed in the project. This software helps already Internet operators. Visit us hall 9, booth D40!

Google Summer of Code 2015

Three open source projects of FU accepted for GSOC 2015

Saros, RIOT,, and DBpedia have been selected out 416 submissions for this year's Google Summer of Code. Saros is an Eclipse plugin for distributed pair programming. RIOT is the friendly operating system for the Internet of Things. DBpedia is the semantic Wikipedia for machines. Interested students can apply for a scholarship until March 27.


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.


EXIST Project QuadCover wins the BWP bronze prize

Our EXIST Project QuadCover won the 3000 Euro bronze prize in the first round of the Berlin-Brandenburg Business Plan Competition (BPW). The young Exist Project Quadcover is a spin off of Prof. Polthier's research group in the area of mathematical geometry processing. It is devoted to the industrial application of QuadCover Technologies for the effective improvement of lattice representation of digital surfaces and volumes developed by Prof. Polthier's research group.


Günter M. Ziegler received the Science Prize 2017 from the Mayor of Berlin

On 7th November the Mayor of Berlin and the Senator for Science and Research, Michael Müller, presented the 10th Berlin Science Prize to Prof. Günther M. Ziegler, a member of our Institute for Mathematics. This prize is awarded for outstanding accomplishments in science and research in Berlin.


The Department of Mathematics and Computer Science mourns the death of Prof. Rudolf Gorenflo

On 20th October the mathematician, Rudolf Gorenflo, professor emeritus at Freie Universität Berlin, passed away in Berlin at the age of 87 after a long illness.


OR2017 Conference Jointly Organized by Mathematics and Economics Department

The International Conference on Operations Research 2017 took place at the campus of Freie Universität Berlin on September 6 - 8. The conference is the yearly meeting of the German Operations Research Society. With 910 participants from 46 different countries, it was the largest OR ever. In this year, it was organized by the Department of Economics and the Institute of Mathematics in a joint endeavor. The conference motto "decision analytics for the digital economy" took up the trend towards analytics that currently revolutionizes the field. With 595 talks in 212 session of 21 parallel streams, and 22 industrial sponsors that supported the conference's business track, the exhibition, 5 preconference workshops, and two hackathons, OR offered ample opportunities to discuss and experience the latest academic and commercial trends. The photo shows (from left to right) co-organizer Ralf Borndörfer, Holger Reich, the director of the institute of mathematics, and Andreas Löffler, the dean of the economics department, at the opening session of OR 2017 in the audimax at Henry-Ford-Building.


Team „Double Cover“ is awarded a 1st prize at the Research to Market Challenge 2017

On July 19th 2017, the team “Double Cover” from Professor Polthier’s workgroup Geometry Processing is awarded a 1st prize in the category “Social and Cultural” of the Research to Market Challenge 2017, run by ProFUnd. The awarded idea consists of the production and marketing of mathematical geometry models. This is now pursued by a team around ECMath scholar Martin Skrodzki.

Alle Termine: Colloquien, Vorträge, Konferenzen

Nachrichten aus allen Fachbereichs-Abteilungen

Simons Lecture 2013: Prof. Rupert Klein: „CliMathematics: Models, Data and Structures: on the Role of Mathematics in Climate Forecasts". Documentation: photos, videos etc.