Max Planck Institute for Software Systems, Kaiserslautern site

Max Planck Institute for Software Systems, Kaiserslautern site

Computer systems permeate our daily life. In addition to conventional desktop computing and Internet applications, sophisticated software systems can be found in almost all technical devices, from mobile phones to traffic lights. They support the operations of banks, hospitals, universities and public authorities, to name just a few. The Max Planck Institute for Software Systems, located in Kaiserslauten and Saarbrücken, carries out basic research that is dedicated to language design, analysis, modelling, implementation and evaluation of software systems, among other applications. Particular areas of interest include programming systems, the comparison of distributed and networked systems and of embedded and autonomous systems, as well as aspects of the formal modelling, analysis, security and stability of cutting-edge software engineering.

Contact

Paul-Ehrlich-Straße 26
67663 Kaiserslautern
Phone: +49 631 9303-0
Fax: +49 631 9303-6019

PhD opportunities

This institute has an International Max Planck Research School (IMPRS):

IMPRS for Computer Science

In addition, there is the possibility of individual doctoral research. Please contact the directors or research group leaders at the Institute.

Department Large Scale Internet Systems

more

Department Rigorous Software Engineering

more
Machines in dialogue

Rupak Majumdar, Director at the Max Planck Institute for Software Systems in Kaiserslautern, develops mathematical methods for ensuring the reliability of networked systems.

more

Machines in Dialog

4/2014 Material & Technology

Cyber-physical systems are in strong demand for their ability to increase road traffic safety and optimize electricity consumption from renewable sources. They link vehicles to sensors that monitor traffic and order the car to brake if a dangerous situation arises, for example. Or they distribute electricity from multiple power plants to consumers as efficiently as possible. Rupak Majumdar, Director at the Max Planck Institute for Software Systems in Kaiserslautern, develops mathematical methods for ensuring the reliability of these networked systems.

The Data Cloak

Material & Technology

Data is the raw material of the modern information society. All too often, however, companies that require comprehensive data analyses risk breaching data protection guidelines. Paul Francis, Director at the Max Planck Institute for Software Systems in Kaiserslautern, seeks to strike a balance between these conflicting interests. His company, Aircloak, plays an important role in this endeavor.

On Time – For Sure

Material & Technology

When a computer takes forever to load a website, it may be annoying, but it is nothing more serious than that. If, however, the electronics in a car or a plane don’t process commands exactly when they are supposed to, the consequences can be fatal. Björn Brandenburg and his team at the Max Planck Institute for Software Systems in Kaiserslautern and Saarbrücken study how to construct real-time systems in such a way that it can be proven that they always react on time.

No job offers available

The Web has become a vast repository of information and knowledge about a wide range of topics and real-world events. There are a growing number of sites, ranging from question answering sites and online communities to microblogs, where knowledge is crowdsourced and it also the crowd who curates the contributed knowledge.  These sites also contain an ever-growing number of unverified stories of questionable origin. There is a growing need for computational methods to understand, predict and enhance the creation, consumption and dissemination of trustworthy knowledge.

more

Social computing systems refer to an emerging class of societal-scale human-computer systems. Examples include social networking sites like Facebook and Google Plus, blogging and microblogging sites like Twitter and LiveJournal, anonymous social media sites like Whisper and 4chan, content sharing sites like YouTube and Instagram, social bookmarking sites like Reddit and Pinterest, crowdsourced opinion sites like Yelp and eBay seller ratings, and social peer production sites like Wikipedia and Amazon's Mechanical Turk.

more

Towards a “structural analysis” for the computer age

2015 Brandenburg, Björn B.

Computer Science

Computers permeate all modern technologies: they monitor, they control, they decide. If everything goes as planned, they keep cars on the road and unmanned aerial vehicles in the air. But what happens if something goes wrong? What if the ever-present computers, so called cyber-physical systems, are erroneous? To ensure that future technologies remain safe and trustworthy despite the pervasive use of embedded computers, researchers at the Max Planck Institute for Software Systems develop the foundations for provably correct cyber-physical systems.

more

System robustness through replication

2014 Clement, Allen

Computer Science

Computer systems mediate many aspects of modern life, from the smart phones used to access websites, to the services hosted by those websites, to the computer systems managing core infrastructures. These systems compose of hundreds, even thousands, of computers that work together to provide services upon which we rely on a daily basis. Ensuring that these services are reliable—both correct and available—is a fundamental challenge for distributed systems research. Replication is a tool that can be used to ensure both correct behavior and availability.

more

JavaScript is a programming language interpreted by all major web browsers. Owing to its widespread use, rich interfaces and somewhat lax protections, JavaScript is often exploited for attacks that breach the confidentiality and integrity of sensitive data in the browser - passwords, credit card numbers, cookies, etc. We report recent work on protecting JavaScript with information flow analysis, a technique that tracks data as it flows through an executing program. Our implementation is backed by a theoretical model and incurs only moderate performance overhead.

more
Go to Editor View