Skip to main content



Courage to Take Risks: Millions Granted Once More for Researcher

This funding enables an immense amount of freedom so that innovative, scientific work can be carried out: The German Research Foundation (DFG) has granted Professor Rolf Drechsler a Reinhart Koselleck Project once more. The funding amount, which is spread over five years, exceeds 1.5 million euros.

A further special aspect: The computer scientist from the University of Bremen and director of the Cyber-Physical Systems group at the German Research Center for Artificial Intelligence (DFKI) is receiving this funding for the second time. This is the first time that this has ever occurred in the DFG ’s funding history.

“I extend my congratulations to Professor Drechsler for this success,” says the president of the University of Bremen, Professor Bernd Scholz-Reiter. “That he is now receiving this funding for the second time shows how much trust the DFG places in his expertise and experience as a scientist.” Rolf Drechsler has been carrying out research into secure hardware and software systems for many years. The 50-year-old is one of the worldwide leading scientists in the field of synthesis, verification and testing of digital circuits.

“Swiss Army Knife” for Examination Processes

What is the project about? “The digital revolution has dramatically changed out lives. “After computers, the internet, and modern mobile devices it is now digitalization that is moving into many tradition industries,” says Drechsler. The foundation of this revolution is formed by so-called digital logic circuits. These are small construction elements that make electronic data processing possible in the first place. In order for said elements to be able to fulfil their tasks, the circuits of digital devices have to work perfectly.

However, experience has shown that this is not the case. Individually assessing the single systems consumes a great deal of time. Therefore, in his project the computer scientist wants to test special processes that can assess as many systems as possible under all conditions. These processes are called formal verification techniques and should run in the background so that users do not have deal with them. “They should basically become a type of ‘swiss army knife’ for the verification of digital circuits in practice,” explains Drechsler. The project is titled PolyVer: Polynomiale Verifikation elektronischer Schaltungen – which in English is PolyVer: Polynomial Verification of Electronic Circuits.

“I am very happy that with the second Koselleck Project I have the freedom to try things in order to further the technical development of the digital world in the long-term,” says the scientists. Moreover, early-career scientists profit from it, as the computer scientist will also finance qualification positions with the funding.

About Reinhart Koselleck Projects

Reinhart Koselleck Projects stand for more freedom in order to promote innovative projects that carry a certain positive risk. The researchers should therefore have the courage to take risks. The DFG only grants projects to researchers who can prove their special achievements in their scientific field. The program is named after Reinhart Koselleck, who passed away in 2006 and was one of the most significant German historians of the 20th century. He is seen as one of the founders of contemporary social history in Germany and was regarded as a lateral thinker.


Further Information:


Prof. Dr. Rolf Drechsler
Computer Architecture Group
Faculty of Mathematics / Computer Science
University of Bremen
Phone: +49 421 218-63932
Email: drechslerprotect me ?!uni-bremenprotect me ?!.de

Man with curly hair is smiling in camera
Rolf Drechsler has been carrying out research into secure hardware and software systems for many years. He is one of the worldwide leading scientists in the field of synthesis, verification and testing of digital circuits.


All events

All about studying

Program Offerings

More than 100 bachelor's and master's degree programs, a state law exam, international and continuing education courses – so if you decide to study at the University of Bremen, you’ll have a wide range of options to choose from. If you already have a good idea about what you want to study, you will find information on all the study programs offered by the University of Bremen here, sorted alphabetically and searchable by various criteria.

If you are still undecided in your choice of subject, get help from the Central Student Advisory Service. They will help you turn your still vague ideas into a clear study profile. For a first orientation, however, we have divided the study programs available into eight study and occupational fields to help you narrow down the field.



Teaching profile

Research-based learning offers all students the opportunity to actively shape the learning experience. The University of Bremen offers a wide range of subjects encompassing many different knowledge cultures. From this diversity emerges a study culture of mutual esteem which enables vibrant and successful studies.


The online Course Catalog lists courses and lectures sorted by subject areas (Faculties) and degree programs, as well as cross-departmental offers. Within the frame of UniStart, freshers can attend university courses in preparation for their studies; to orient themselves on campus or to make contact with fellow students.

Advice and Orientation

The first point of contact for information about studying is the Central Student Advisory Service. Subject-specific questions can be clarified in the study centers or with the program advisers. Taster offers (look-ins) and the Information Day for Prospective Students (website in German only) provide opportunities to get to know the University of Bremen a little better.

Studium international

Our campus breathes life into diversity.  2,200 people from all five continents study here. More than 600 international cooperation partners form our worldwide network. Many Faculties offer international degree courses. Prospective international students can look forward to a diverse range of academic and cultural offers.

All about research

Facets of the University of Bremen

  • aaq Akkreditierung
  • Gütesiegel des Deutschen Hochschulverbands
  • EMAS Zertifizierung für geprüftes Umweltmanagement
  • Zertifikat audit familiengerechte hochschule
  • Audit „Internationalisierung der Hochschulen“ der HRK
  • Logo Audit "Vielfalt gestalten" des Stifterverbandes
  • CHE Ranking
  • Siegel Gründungsradar des Stifterverbandes