News Archiv

Viele deutsche Unternehmen agieren heutzutage global: Sie entwickeln in heimischen Gefilden, produzieren aber in Ländern wie China, Brasilien oder Tschechien. Für Wartungen und Reparaturen müssen Ingenieure, die einst die komplexen Produktionsanlagen entwickelt haben, oft aus Deutschland anreisen.

Seit Oktober 2012 forscht Doktorand Hazem Torfah bei Professor Bernd Finkbeiner am Lehrstuhl für Reaktive Systeme. Torfah ist einer von derzeit rund 375, die es an die Saarbrücker Graduiertenschule für Informatik geschafft haben. Hier können besonders begabte Studenten bereits ab dem Bachelorabschluss direkt mit dem Promotionsstudium beginnen. Jedes Semester bewerben sich Hunderte Kandidaten aus aller Welt auf die rund 30 Plätze.

„Woher weiß ich, dass eine neu installierte App genau das auf meinem Smartphone tut?“, fragt Andreas Zeller, Professor für Softwaretechnik an der Universität des Saarlandes. Bisher habe man solche „bösartigen“ Apps entlarvt, indem man sie mit bereits bekannten Angriffsmustern verglich. „Was aber, wenn der Angriff brandneu ist?“, so Zeller.

Wenn ein Naturfotograf bislang etwa Bilder diverser Schmetterlinge systematisch nach Farbe oder Größe für einen Bildband anordnen wollte, brauchte er viel Zeit: Per Hand musste er die einzelnen Abbildungen der Tiere auf dem Computer in die gewünschte Reihenfolge bringen. Eine passende Software, die Bilder schnell und automatisch nach bestimmten Kriterien gleichmäßig anordnet, gab es nicht.

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

Das Internet hat längst alle Bereiche des täglichen Lebens durchdrungen. Dass diese Entwicklung auch Risiken birgt, haben die jüngsten Meldungen über geheime Überwachungsprogramme gezeigt. Nachdrücklicher als je zuvor werfen sie die Frage auf: Wie lässt sich die Privatsphäre eines jeden Menschen im Internet schützen?

In der Vorlesung „Nebenläufige Programmierung“ vermitteln Professor Holger Hermanns und Christian Eisentraut den Bachelorstudenten wichtige Grundlagen der Programmierung von Systemen mit mehreren Prozessoren, damit zum Beispiel Smartphones, aber auch eine moderne Flugzeugsteuerung sicher und reibungslos funktionieren. „Die Studenten sollen dabei lernen, aus der Theorie heraus die Praxis zu entwickeln“, sagt Holger Hermanns. Eisentraut ergänzt: „Wir legen bei dieser Vorlesung sehr viel [...]

Verkehrsstatistiken belegen es immer wieder: Wird ein Autofahrer abgelenkt, steigt das Unfallrisiko. Moderne Sprachdialogsysteme im Auto sollen dem Fahrer helfen, sich besser auf die Straße und den Verkehr zu konzentrieren – sie kommunizieren mit dem Fahrer, suchen auf Wunsch beispielsweise eine Telefonnummer oder ein nahegelegenes Restaurant heraus.

Prozesse auf zellulärer Ebene sind sehr komplex: Ähnlich wie die Zahnräder in einem Uhrwerk greifen in einer Zelle unterschiedliche Prozesse ineinander: Gene regulieren sich gegenseitig, ein Protein schaltet ein Gen ab, dafür ein anderes an und so weiter. Kommt es hier zu Fehlern, kann das etwa dazu führen, dass Krankheiten entstehen. Bislang haben Wissenschaftler nicht vollständig geklärt, wie sich Gene gegenseitig regulieren und mit Proteinen zusammenspielen. Diese Mechanismen zu verstehen, [...]