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

Termine & Personen – KW 31/2014 EXTRA

Kanadischer Energie-Experte an der Universität Passau Montag, 28. Juli 2014, 10:00 Uhr Veranstalter: Lehrstuhl für Informatik mit Schwerpunkt Rechnernetze/Rechnerkommunikation der Universität Passau (Prof. Dr.-Ing. Hermann...

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

Buchcover „The Sham Prince; or News from Passau/Der Scheinprinz; oder die Botschaft aus Passau“

Studierende übersetzen Passau-Drama „The Sham Prince“

Im Jahre 1719 wurde Dublin von einem handfesten Skandal erschüttert, als sich ein gewisser William Newsted als Prinz von Passau ausgab und zahlreiche Händler und Handwerker um ihren Lohn betrog. Der Schwindel flog rasch auf, und...

mehr

Sommercamp

Von der Parkplatz-App bis zur 3-D-Animation: Teilnehmerinnen und Teilnehmer des Informatik-Sommercamps präsentieren ihre Projekte

91 Schülerinnen und Schüler aus ganz Deutschland und dem Ausland sind diese Woche im Rahmen des 19. Informatik-Sommercamps an der Universität Passau zu Gast. Am Freitag, 18. Juli, präsentieren die Teilnehmerinnen und Teilnehmer...

mehr

Treffer 1 bis 5 von 13