News Archiv
Georg Zetzsche has joined the institute as a tenure-track faculty member, effective November 1, 2018. He is joining us from the Institut de Recherche en Informatique Fondamentale (IRIF) at Université Paris-Diderot, where he has been a postdoctoral researcher. Georg’s goal is to understand which questions about program behaviors and other infinite structures can be answered efficiently. His research focuses on issues of decidability, complexity, synthesis, and expressiveness arising in program verification and mathematics.
![Bild der Pressemitteilung](https://saarland-informatics-campus.de/wp-content/plugins/wp-fastest-cache-premium/pro/images/blank.gif "Empfang der \")
Seit vergangenem Donnerstag kennen neun Informatikerinnen und Informatiker der Universität des Saarlandes den Amtssitz von Ministerpräsident Tobias Hans auch von Innen. Die Staatskanzlei des Saarlandes hatte sie zu einem Empfang eingeladen, um ihnen für ihr Engagement beim Wettbewerb „Ausgezeichnete Orte im Land der Ideen“ zu danken. Gleich drei Saarbrücker Informatik-Projekte aus den Bereichen Verlässliche Systeme, Bioinformatik und Cybersicherheit konnten sich gegen knapp [...]
In immer mehr Lebensbereichen kommen Algorithmen zum Einsatz, die Verbraucherinnen und Verbraucher bewerten, ihr Verhalten vorhersagen und ihre persönlichen Eigenschaften ermitteln wollen. Solche Scoring-Algorithmen entscheiden zum Beispiel darüber, wer auf Kredit kaufen und wer nur auf Vorkasse bestellen darf, auch kommen sie bei Kfz-Versicherung oder Krankenversicherungen zum Einsatz. Heute (31. Oktober 2018) überreicht der Sachverständigenrat für Verbraucherfragen in Berlin das Gutachten [...]
Zehn Partner aus Wissenschaft und Industrie werden in den kommenden drei Jahren einen europäischen Quantencomputer entwickeln und bauen. Der Computer soll vor allem die Simulation von Abläufen in Chemie und Materialwissenschaft sowie das maschinelle Lernen, ein Teilgebiet der Künstlichen Intelligenz, beschleunigen. Er wird europaweit der erste Quantencomputer auf diesem Level sein und unter vergleichbaren Systemen weltweit führend. Das Projekt „OpenSuperQ“ ist Teil des eine Milliarde Euro [...]
116117118119120 ...
233»