Archiv

Archiv

Die Preisträger mit dem Erfinder des Model-Checking (Turing-Award 2007), Edmund M. Clarke (Mitte), der die Medaillen überreichte. Prof. Dirk Beyer (2.v.r.) und Philipp Wendler (2.v.l.).

Gödel-Medaille für Passauer Informatik-Forscher

Die Passauer Wissenschaftler Prof. Dr. Dirk Beyer, Stefan Löwe und Philipp Wendler haben für ihre Beiträge zur Erforschung effizienter Verifikationsmethoden und -algorithmen, für den Technologietransfer durch die Implementierung...

mehr

Prof. Srinivasan Keshav

Kanadischer Energie-Experte besucht die Universität und die Region

Srinivasan Keshav, Professor für Energiesysteme und Rechnernetze an der University of Waterloo (Kanada) und einer der führenden Forscher auf diesem Gebiet, besucht vom 22. Juli bis 5. Oktober die Universität Passau auf Einladung...

mehr

Promotionen/Habilitationen: April bis Juni 2014

Juristische Fakultät   Habilitation   Dr. Florian Eichel Thema: Künftige Forderungen Venia legendi: Bürgerliches Recht, Zivilverfahrensrecht, Internationales Privatrecht sowie Rechtsvergleichung Fachmentorat:...

mehr

Ruf angenommen

Prof. Dr. Armin Engländer hat seinen Ruf auf die W 3-Professur für Strafrecht, Strafprozessrecht, Rechtsphilosophie und Rechtssoziologie an der Ludwig-Maximilians-Universität München angenommen.

mehr