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.

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 [...]