Two papers from Saarland Informatics Campus have received an "Honorable Mention" for the "Outstanding Paper Award" at the 36th AAAI Conference on Artificial Intelligence (AAAI 2022). Both papers are part of the Transregional Collaborative Research Center "Foundations of Perspicuous Software Systems" funded by the German Research Foundation (DFG). Daniel Fišer,…
Ralf Jung, a doctoral student of Saarland University and now postdoc at the Max Planck Institute for Software Systems in Saarbrücken, has made a significant contribution to the safety of the 'Rust' programming language. The new and increasingly popular programming language is widely used from small startups to the world's…
Many safety-critical areas of our lives are being controlled by computer systems: from airbag controls in cars and landing gear on airplanes to essential infrastructure such as energy supply and telecommunications. But are these systems reliable? Computer science professor Jan Reineke of Saarland University thinks not - because a crucial…
