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.

Showtraining der Uni Baskets Paderborn vor der offiziellen Begrüßung der Erstsemester in der Maspernhalle. Bildinformationen anzeigen
Akrobatik zur Einstimmung durch die Cheerleader des Paderborn Hornets Lacrosse e. V. Bildinformationen anzeigen
Zum Wintersemester 2018/19 werden an der Universität Paderborn 3.793 neue Studierende begrüßt. Bildinformationen anzeigen
Auch außergewöhnliche Sportarten gibt es beim Hochschulsport Paderborn. Hier: Realistischer Schwertkampf. Bildinformationen anzeigen
Mit der Vorlesungszeit beginnt für viele Studierende der Unialltag – die Erstsemester starten in einen neuen Lebensabschnitt. Bildinformationen anzeigen
Die Universität wünscht allen Studierenden einen erfolgreichen Start in das Wintersemester 2018/19. Bildinformationen anzeigen

Begrüßung der Erstsemester zum Wintersemester 2018/19

Showtraining der Uni Baskets Paderborn vor der offiziellen Begrüßung der Erstsemester in der Maspernhalle.

Foto: Universität Paderborn, Johannes Pauly

Begrüßung der Erstsemester zum Wintersemester 2018/19

Akrobatik zur Einstimmung durch die Cheerleader des Paderborn Hornets Lacrosse e. V.

Foto: Universität Paderborn, Johannes Pauly

Begrüßung der Erstsemester zum Wintersemester 2018/19

Zum Wintersemester 2018/19 werden an der Universität Paderborn 3.793 neue Studierende begrüßt.

Foto: Universität Paderborn, Johannes Pauly

Begrüßung der Erstsemester zum Wintersemester 2018/19

Auch außergewöhnliche Sportarten gibt es beim Hochschulsport Paderborn. Hier: Realistischer Schwertkampf.

Foto: Universität Paderborn, Johannes Pauly

Begrüßung der Erstsemester zum Wintersemester 2018/19

Mit der Vorlesungszeit beginnt für viele Studierende der Unialltag – die Erstsemester starten in einen neuen Lebensabschnitt.

Foto: Universität Paderborn, Johannes Pauly

Begrüßung der Erstsemester zum Wintersemester 2018/19

Die Universität wünscht allen Studierenden einen erfolgreichen Start in das Wintersemester 2018/19.

Foto: Universität Paderborn, Johannes Pauly

| 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