Publication Overview
Michael Backes and Matteo Maffei and Dominique Unruh
Computationally sound verification of source code
| Published in: | ACM Conference on Computer and Communications Security |
|---|---|
| Year: | 2010 |
| Pages: | 387-398 |
Cluster of Excellence Multimodal Computing and Interaction
Cluster of Excellence Multimodal Computing and Interaction
News
20.06.18Saarbrücken Graduate School of Computer Science enables successful doctoral studies
From novel methods for data analysis, to artificial intelligence, to IT security – on the Saarland Informatics Campus of Saarland University, junior scientists work on a large number of research projects. They are supported by the Saarbrücken Graduate School of Computer Science. This offers a structured program for the smoothest possible path to a doctorate. In addition to scholarships, it enables particularly talented students to work towards graduation starting from the bachelor's degree. Further details are given by the Saarbrücken Graduate School of Computer Science during the Cebit computer fair at booth G75 in hall 27.
read more >> 20.06.18
600 Experts in Artificial Intelligence Sign a Letter Calling for European Action
Today, 600 leading experts in artificial intelligence released a letter calling on European and national leaders to drastically ramp up their support for research excellence and innovation in artificial intelligence (AI). They argue that artificial intelligence will fundamentally change the way we live and work in the future. Professor Philipp Slusallek is one of the signatories.
read more >>
Partners
