Monday, 05. December 2011 05.12.11 14:12 Age: 6 Jahre

Michael Gerke receives NRW Young Scientist Award from the International Graduate School Dynamic Intelligent Systems

fltr: Dr. Beate Wieland, Ministry of Innovation, Science and Resarch of NRW, Michael Gerke, Prof. Dr. Schäfer, Chair of the IGS Dynamic Intelligent Systems, Paderborn

On November 28th, 2011, the NRW Young Scientist Award has been conferred by six International Graduate Schools to talented and promising young scientists within their respective research areas. The price, which is granted to master students with an outstanding scientific publication to their name has been awarded since 2004, thus for the sixth time at the North Rhine-Westphalian Academy of Arts and Sciences in Düsseldorf.

During the ceremony, Dr. Beate Wieland from the Ministry for Innovation, Science and Research of North-Rhine Westphalia, handed over the prizes to the six awardees.


Michael Gerke, doctoral candidate in the Reactive Systems Group at Saarland University, is this year’s awardee for the International Graduate School Dynamic Intelligent Systems at the University of Paderborn. Mr. Gerke received a 1500 € prize for his publication: "Fully Symbolic Timed Model Checking using Constraint Matrix Diagrams".

His paper related to his Master thesis was published in 31st IEEE Real Time Systems Symposium on 10th August 2010. Within his Master thesis Michael Gerke developed ground-breaking new data structures for the automatic verification of real-time systems.

Imprint | Webmaster | Recent changes: 10.07.2015