News Archiv
Ob ein Satellit in der Umlaufbahn oder ein Airbag im Auto – viele Geräte kommunizieren ständig mit ihrer Umgebung. Fachleute sprechen bei dieser Technologie von reaktiven Systemen. An der Universität des Saarlandes entwickelt die Arbeitsgruppe von Professor Bernd Finkbeiner unter anderem Methoden für die Entwicklung und Analyse solcher Systeme. Mit Hilfe von Modellen lassen sich reaktive Systeme automatisch auf Fehler untersuchen und darauf aufbauend, durch spezielle Verfahren, in ausführbare Programmcodes übersetzen – ohne dass Entwickler Hand anlegen müssen.
MPI-SWS faculty members Peter Druschel and Deepak Garg have received a Google Faculty Research Award. The award is conferred on selected recipients, based on proposals from all over the world. The award, granted in the area of computer systems, supports their work on enforcing declarative data policies in distributed systems.
Saarbrücker Informatiker arbeiten an Technologien für den Supermarkt der Zukunft, überprüfen die Sicherheit von Flugzeugen oder entwickeln neue Techniken für Trickfilmspezialisten – dies sind nur ein paar Beispiele, an denen auf dem Campus der Saar-Uni geforscht wird. Am 23. und 24. Januar können sich Wissenschaftler aus Amerika, Asien, Australien und Europa selbst ein Bild von der Bandbreite der Forschungsthemen machen. Die Gäste besuchen das Max-Planck-Institut für Informatik, den Exzellenzcluster [...]
MPI-SWS faculty member Rupak Majumdar has been selected as the winner of this year’s POPL (Principles of Programming Languages) Most Influential Paper Award. The ACM SIGPLAN Most Influential POPL Paper Award is a retrospective award—it is given each year to the paper deemed most influential from the POPL conference 10 years earlier.
MPI-SWS was featured in a documentary produced by local public broadcasting company SWR Rheinland-Pfalz. Part of the „Made in Rheinland-Pfalz“ series, the documentary focuses on three software organizations along the „Software Mile“ in Kaiserslautern: MPI-SWS, The Fraunhofer IESE, and DFKI. The documentary includes a brief interview with MPI-SWS faculty member Björn Brandenburg and research scientist Felix Bauer.
216217218219220 ...
236»