Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

An zahlreichen Ständen können sich Schülerinnen und Schüler am 15. Januar über Studiengänge der Universität Paderborn informieren. Bildinformationen anzeigen
Angehörige der Universität beraten die Schülerinnen und Schüler und stellen ihnen Informationen rund ums Studium zur Verfügung. Bildinformationen anzeigen
Die auch im Foyer stattfindende Veranstaltung hat großen Zulauf. Bildinformationen anzeigen
Der Besuch auf dem Infotag für Schülerinnen und Schüler am 15. Januar kann für Studieninteressierte richtungsweisend sein. Bildinformationen anzeigen

Infotag für Schülerinnen und Schüler

An zahlreichen Ständen können sich Schülerinnen und Schüler am 15. Januar über Studiengänge der Universität Paderborn informieren.

Foto: Universität Paderborn, Nora Gold

Infotag für Schülerinnen und Schüler

Angehörige der Universität beraten die Schülerinnen und Schüler und stellen ihnen Informationen rund ums Studium zur Verfügung.

Foto: Universität Paderborn, Nora Gold

Infotag für Schülerinnen und Schüler

Die auch im Foyer stattfindende Veranstaltung hat großen Zulauf.

Foto: Universität Paderborn, Nora Gold

Infotag für Schülerinnen und Schüler

Der Besuch auf dem Infotag für Schülerinnen und Schüler am 15. Januar kann für Studieninteressierte richtungsweisend sein.

Foto: Universität Paderborn, Nora Gold

| Mitteilung International Graduate School

Philipp Wendler erhält NRW Young Scientist Award der International Graduate School Dynamic Intelligent Systems

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.

Die Universität der Informationsgesellschaft