Oded Maler

 

Oded Maler - Barbaric Science from a Captive Poet

Thursday, April 18, 2019, 4:00pm-7:00pm


Oded Maler

This event celebrates the life and scientific legacy of Oded Maler (1957-2018). Oded sadly left us in September 2018, leaving a huge void in our research community. He was a computer scientist, a CNRS research director at Verimag lab, a steering committee member of HSCC, and one of the founders of HSCC. A truly original and unconventional scientist, he was not only a pioneer in hybrid systems research, but also deeply interested in a wide range of topics including automata theory and learning, timed systems and logics, runtime monitoring and system biology.

Oded often said that he felt like a poet trapped in the body of a computer scientist. And he was indeed a poet, publishing the book of poems in Hebrew "At least now" in 1978. In his scientific career, writing played an extremely important role and Oded nurtured a sharp, provocative and poetic style in his research papers.

More recently, Oded liked to say that he was doing barbaric research, where the word "barbaric" had a two-fold meaning. It denoted his penchant to do research against the mainstream and across disciplines. It also marked Oded's transition from more theoretical hybrid system research to the more applied simulation-based methods. 

We are grateful to the speakers that agreed to give talks in honor of Oded Maler.

Program

  • Chair: Dejan Nickovic (slides)
  • 4:00-4:30, Our Work with Oded Maler and his Impact (slides). Manfred Morari, University of Pennsylvania
  • 4:30-5:00, Formal models of hybrid systems: the early years (slides). Rajeev Alur, University of Pennsylvania
  • 5:00-5:30, Reachability in hybrid systems: 25 years of optimism (slides). Eugène Asarin, IRIF
  • 5:30-6:00, Why considering nonstandard semantics for hybrid systems and how to reconcile it with superdense time semantics (slides). Albert Benveniste, INRIA Rennes
  • 6:00-6:30, Simulation-based and Data-driven Reasoning for Cyber-Physical Systems (slides). Jyotirmoy Deshmukh, University of Southern California
  • 6:30-7:00, Building trusted systems from untrusted components (slides). Bruce Krogh, Carnegie Mellon University

Event Organizers

  • Eugène Asarin, IRIF
  • Thao Dang, VERIMAG
  • Alexandre Donzé, Decyphir
  • Goran Frehse, ENSTA ParisTech
  • Dejan Nickovic, AIT Austrian Institute of Technology

Registration Information

If you are registered for HSCC, you do not need a separate registration for the Oded Maler session. If you plan to only attend the Oded Maler session, please register for the session here. Early registration deadline is March 15, 2019.

TOP