Institute of Information Systems Engineering Compilers&Languages
> Zum Inhalt

CompLang News

2019-09-18 [

Jens Knoop


Vortrag "Space for Traffic Manoeuvres", Fr, 20.09.2019, 11:00 Uhr s.t.

Der Forschungsbereich für Programmiersprachen und Übersetzer am Institut für Information Systems Engineering lädt zu folgendem Vortrag ein:

TITLE: Space for Traffic Manoeuvres

Prof. Dr. Ernst-Rüdiger Olderog
Carl von Ossietzky Universität Oldenburg, Oldenburg, Deutschland
DATE: Freitag, den 20. September 2019
TIME:  11:00 Uhr s.t*)
VENUE:   Bibliothek E194-05, Argentinierstr. 8, 4. Stock (Mitte).
*) Tee: 10:30 Uhr in der Bibliothek E194-05, Argentinierstr. 8, 
        4. Stock (Mitte).

Dense traffic on roads is calling for advanced driver assistance
systems or even autonomous driving to increase the safety
(collision freedom). How can we prove that such systems
guarantee safety?  Realising that safety on roads is a primarily
spatial property, we developed an approach to car safety that
decomposes spatial from dynamic reasoning. It is based on a
dedicated Multi-lane Spatial Logic (MLSL), which abstracts from
the continuous car dynamics, and controllers using MLSL formulas.
The talk gives an overview of recent results in pursuing this

Ernst-Rüdiger Olderog obtained his diploma, doctoral degree, and
habilitation in Computer Science from the University of Kiel in the
years 1979, 1981 and 1989. During 1981-1983 he was a visiting scientist
in the Programming Research Group at Oxford University. He has been
visiting professor at the Universities of Saarbrücken and Amsterdam, and
at ETH Zürich. Since 1989 he is a professor of Computing Science at the
University of Oldenburg. His research interest is in the area of
specification, design, and verification of programs, reactive and
real-time systems. In 1994 he was awarded the Leibniz Prize of the DFG.
During 1995-2005 he was chairman of the IFIP Working Group 2.2 on
Formalization of Programming Concepts. During 2000-2014 he was
Editor-in-Chief of the journal Acta Informatica.
During 2017-2019 he was Dean of the School of Computing Science,
Business Administration, Economics, and Law.
Since 2012 he is the Speaker of the DFG-funded Research Training Group
SCARE (System Correctness under Adverse Conditions).
In 2012 he was elected Member of Academia Europaea.