Seite auswählen

Software and Hardware Systems

Kurzübersicht Forschungsfeld

Die Nachfrage nach immer neuer Hard- und Software steigt stetig an, gleichzeitig wird deren Entwicklung jedoch immer komplexer. Somit bedarf es auf vielen Ebenen ständig neuer Methoden, um den Anforderungen gerecht zu werden. Zu diesem Forschungsfeld zählt im Bereich der Software z.B. die Arbeit an neuen Programmiersprachen, das ständige Hinterfragen von Design- und Entwicklungsprozessen oder das systematische Testen des Produktes. Bei Hardwaresystemen stellen sich Fragen nach der Effizienzsteigerung, nach der Produktion, nach neuen Protokollen und nach der Möglichkeit, das korrekte Verhalten zu beweisen.

In Saarbrücken bildet der Studiengang “Eingebettete Systeme“ eine Schnittstellendisziplin innerhalb dieses Forschungsfelds. Mehrere Gruppen des Fachbereichs Informatik und des Max-Planck-Instituts für Softwaresysteme haben Ihren Fokus auf dieses Gebiet gerichtet.

Professoren/innen in diesem Gebiet

Derek Dreyer
Prof. Dr. Derek Dreyer
Professor, Max Planck Institute for Software Systems and Saarland University
Foundations of Programming
Max Planck Institute for Software Systems
Saarland Informatics Campus
Bldg. E1 5
66123 Saarbrücken
Germany
+49 (0)681 9303-8701
Prof. Dr. Peter Druschel
Scientific Director and Professor, Max Planck Institute for Software Systems and Saarland University
Distributed Systems
Max Planck Institute for Software Systems
Saarland Informatics Campus
Bldg. E1 4
66123 Saarbrücken
Germany
+49 (0)681 9303-9100
Assistant: +49 (0)681 9303-9100
Prof. Dr. Anja Feldmann
Scientific Director and Professor, Max Planck Institute for Informatics and Saarland University
Internet Architecture
Max Planck Institute for Informatics
Saarland Informatics Campus
Bldg. E1 4, R. 518
66123 Saarbrücken
Germany
+49 (0)681 9325-3501
Prof. Dr. Bernd Finkbeiner
Professor, Saarland University and CISPA Helmholtz Center i.G.
Reactive Systems
Saarland University
Saarland Informatics Campus
Bldg. E1 1, R. 1.11
66123 Saarbrücken
Germany
+49 (0)681 302-5651
Assistant: +49 (0)681 302-5650
Prof. Dr. Krishna Gummadi
Professor, Max Planck Institute for Software Systems and Saarland University
Networked Systems
Max Planck Institute for Software Systems
Saarland Informatics Campus
Bldg. E1 5, R. 434
66123 Saarbrücken
Germany
+49 (0)681 9325-670
Prof. Dr. Sebastian Hack
Professor, Saarland University
Compiler Design
Saarland University
Saarland Informatics Campus
Bldg. E1 3, R. 408
66123 Saarbrücken
Germany
+49 (0)681 302-57520
Assistant: +49 (0)681 302-3434
Prof. Dr.-Ing. Thorsten Herfet
Professor, Saarland University
Telecommunications
Saarland University
Saarland Informatics Campus
Bldg. C6 3, R. 10.02
66123 Saarbrücken
Germany
+49 (0)681 302-70852
Assistant: +49 (0)681 302-6541
Prof. Dr. Holger Hermanns
Professor, Saarland University
Dependable Systems and Software
Saarland University
Saarland Informatics Campus
Bldg. E1 3, R. 501
66123 Saarbrücken
Germany
+49 (0)681 302-5630
Assistant: +49 (0)681 302-5631
Prof. Dr. Jan Reineke
Professor, Saarland University
Real-Time and Embedded Systems
Saarland University
Saarland Informatics Campus
Bldg. E1 3, R. 410
66123 Saarbrücken
Germany
+49 (0)681 302-4448
Prof. Dr. Gert Smolka
Professor, Saarland University
Programming Systems
Saarland University
Saarland Informatics Campus
Bldg. E1 3, R. 514
66123 Saarbrücken
Germany
+49 (0)681 302-5311
Assistant: +49 (0)681 302-5312
Prof. Dr Andreas Zeller
Professor, Saarland University
Software Engineering
Saarland University
Saarland Informatics Campus
Bldg. E9 1, R. 207
66123 Saarbrücken
Germany
+49 (0)681 302-70971
Assistant: +49 (0)681 302-70970

Dozenten/innen in diesem Gebiet

Dr. Björn Brandenburg
Real-Time Systems
Max Planck Institute for Software Systems
Paul-Ehrlich Strasse G 26
Bldg. G 26, R. 416
67663 Kaiserslautern
Germany
+49 (0)681 9303-8401
Maria Christakis
Dr. Maria Christakis
Programming Languages & Verification
Max Planck Institute for Software Systems
Paul-Ehrlich Strasse G 26
Bldg. G 26, R. 407
67663 Kaiserslautern
Germany
+49 (0)631 9303-9401
Dr. Deepak Garg
Computer Security and Privacy, Formal Logic, Programming Languages
Max Planck Institute for Software Systems
Saarland Informatics Campus
Bldg. E1 5, R. 412
66123 Saarbrücken
Germany
+49 (0)681 9303-9201
Dr. Christoph Lenzen
Theory of Distributed Computing
Max Planck Institute for Informatics
Saarland Informatics Campus
Bldg. E1 4, R. 308
66123 Saarbrücken
Germany
+49 (0)681 9325-1008

Nachwuchsgewinnung, Öffentlichkeitsarbeit und Technologietransfer am Saarland Informatics Campus werden unterstützt durch das Kompetenzzentrum, gefördert durch

Weitere Infos

Das Projekt Tandem an der Universität des Saarlandes verfolgt das Ziel, die für eine wirtschaftliche oder industrielle Verwertung interessanten Forschungsergebnisse der saarländischen Informatik und der Max-Planck Institute durch einen Inkubationsprozess soweit weiterzuentwickeln, dass entweder Investoren die Produkte kaufen oder lizenzieren, oder neue Unternehmen im Saarland gegründet werden. Begleitende Aktivitäten im Projekt umfassen nationale und internationale Öffentlichkeitsarbeit, Maßnahmen zur Förderung des Technologietransfers im Allgemeinen sowie Formate zur Nachwuchsakquise im Bereich der Informatik. Das Projekt Tandem trägt dazu bei, die saarländische Informatik und den Wirtschaftsstandort Saarland zu stärken.