Press Releases from Saarland Informatics Campus (1 total)
Saarbrücken computer scientists internationally recognized for ca. 20-year-old …
09. November 2017:
Since the beginnings of informatics, computer scientists have also brought the art of deduction to computers, so that they can support humans in thinking and even prove statements that can be formulated mathematically. Hence, researchers delve into mathematical logic and develop formal systems, based on and evaluated by deductive principles. For their nearly 20-year-old research, three Saarbrücken computer scientists have now received the internationally renowned Thoralf Skolem Award.
“The…
