Time+Place: Tuesday 01/07/2014 14:30 Room 337-8 Taub Bld.
Title: Dynamical Systems Biology
Speaker: Oded Maler - COLLOQUIUM LECTURE http://www-verimag.imag.fr/~maler/
Affiliation: CNRS-VERIMAG, University of Grenoble, France
Host: Seffi Naor

Abstract:


In this talk I argue that progress in Biology requires, among other 
things, a more modern approach to modeling and analysis of dynamical 
models. Such models should not be  restricted to classical dynamical 
systems but also involve concepts and ideas from discrete-event 
dynamical systems (automata) and hybrid (discrete-continuous) systems.  
I will present some recent techniques for exploring the dynamics of 
under-determined systems, that is, systems that admit uncertainty in 
initial conditions, parameters and  environmental conditions. These 
techniques, inspired by formal verification, can be used to assess the 
robustness of proposed models and increase our confidence in their 
plausibility.

Short Bio:
Oded Maler is a research director at the CNRS (French National Center for
Scientific Research) working at the VERIMAG laboratory in Grenoble. His
major research topic is the adaptation of verification technology to hybrid
systems that combine discrete logic-based dynamics (transition systems) with
continuous dynamics. Dr. Maler holds a BA in Computer Science from the
Technion (1979), MSc in Management Science from Tel-Aviv University (1984)
and PhD from Weizmann Institute (1990).


Desserts will be served from 14:15
Lecture starts at 14:30