Zum nunmehr fünften Mal vergaben am 23. November sieben nordrhein-westf?lische International Graduate Schools und Forschungsschulen den NRW Young Scientist Award in ihren jeweiligen Forschungsschwerpunkten an talentierte und vielversprechende junge Nachwuchswissenschaftler, die bereits w?hrend ihres Master- oder Diplomstudiums durch eine herausragende Publikation in der Fachwelt aufgefallen sind. Im Rahmen einer akademischen Feierstunde überreichte Dr. Walther Pelzer vom nordrhein-westf?lischen Ministerium für Innovation, Wissenschaft, Forschung und Technologie die Auszeichnungen an die sieben Preistr?ger. Veranstaltungsort war wiederum die Nordrhein-Westf?lische Akademie der Wissenschaften und der Künste, Karl-Arnold-Haus der Wissenschaften, in Düsseldorf.
Philipp Wendler, Doktorand im Software Systems Lab der Universit?t Passau, ist der diesj?hrige Preistr?ger der International Graduate School Dynamic Intelligent Systems der Universit?t Paderborn. Wendler erhielt den mit 1.500 Euro dotierten Preis für seine Publikation ?Predicate Abstraction with Adjustable-Block Encoding“, die die Ergebnisse seiner Masterarbeit darstellt. Das Paper wurde im Juli 2010 für die International Conference on Formal Methods in Computer-Aided Design (FMCAD) akzeptiert und wird im Tagungsband des IEEE ver?ffentlicht werden.
Philipp Wendlers Forschungsinteresse gilt dem Gebiet der Software-Verifikation. Sein Augenmerk liegt hierbei auf der Kontrolle der Softwaremodellierung. Das Ziel des Preistr?gers ist es, die gegenw?rtigen Methoden zu verbessern, bereits existierende Konzepte in ein einheitliches System zu integrieren sowie neue Herangehensweisen zur Verbesserung der Verl?sslichkeit von Software durch eine automatische Software-Verifikation zu entwickeln.
