ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sat 6 Apr 2019 14:00 - 15:00 at S9 - Oded Maler memorial (1) Chair(s): Nicola Paoletti

Oded Maler was one of the founders of the workshop Hybrid Systems Biology. His contributions in this domain could be traced back to his young days as a curious and brave computer scientist trying to break into Control Sciences, a neighbouring land yet full of distinct customs and traditions. This ambitious venture fruitfully impacted the evolution of the two domains. His results enlarged the theoretical boundary of his Computer Science homeland by extending timed systems to hybrid systems, addressing the fundamental decidability and complexity questions, laying the foundations for formal verification and synthesis of hybrid systems. Furthermore, these results have major intellectual impacts on the control community who began to embrace formal methods.

Being constantly attentive to other disciplines, Oded continued his journey and was particularly interested in systems biology (among others, such as embedded system scheduling and implementation, analog and mixed-signal circuits). His major contribution is his adaptation and proliferation of temporal logics, algorithmic analysis, and more generally hybrid computational thinking to this domain.

In this presentation, I will talk only about some of Oded’s influential contributions in hybrid systems along this remarkable odyssey.

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Oded Maler memorial (1)HSB at S9
Chair(s): Nicola Paoletti Royal Holloway, University of London, UK
14:00
60m
Talk
Oded Maler: An odyssey from Computer Science to Biological Sciences
HSB
Thao Dang CNRS/VERIMAG