Thursday, 09. December 2010 09.12.10 14:33 Age: 7 Jahre

Philipp Wendler receives NRW Young Scientist Award from the International Graduate School Dynamic Intelligent Systems

Prof. Dr. Hans Kleine Büning congratulates Philipp Wendler upon his receipt of the 2010 NRW Young Scientist Award. (Photo: Robert Timmermann)

On November 23rd, 2010, seven International Graduate Schools in North Rhine-Westphalia awarded the NRW Young Scientist Award in their respective research areas to talented and promising young scientists. This was already the fifth edition of the award, which is granted to master students with an outstanding scientific publication to their name. During the ceremony, Dr. Walther Pelzer from the Ministry for Innovation, Science and Research, handed over the prizes to the seven awardees. Location was once again the North Rhine-Westphalian Academy of Arts and Sciences in Düsseldorf.

Philipp Wendler, doctoral candidate in the Software Systems Lab of the University of Passau, is this year’s awardee for the International Graduate School Dynamic Intelligent Systems at the University of Paderborn. Mr. Wendler received a 1500 € prize for his publication: Predicate Abstraction with Adjustable-Block Encoding, that demonstrates his master thesis results. His paper was selected in July 2010 for the International Conference on Formal Methods in Computer-Aided Design (FMCAD) and will be published in the IEEE Conference Proceedings.

Philipp Wendler‘s research interests are in the field of software verification, and software model checking in particular. His goal is to improve current techniques, to integrate existing concepts into a unifying framework, and to develop new approaches to improve the reliability of software by automatic software verification.


Imprint | Webmaster | Recent changes: 10.07.2015