אירועים והרצאות בפקולטה למדעי המחשב ע"ש הנרי ומרילין טאוב

In this talk I will present some of the research I have been involved in concerning the specification and monitoring of timed, continuous and hybrid behaviors using formalism such as Signal Temporal Logic and Timed Regular Expressions. I will discuss the similarities and differences between properties/assertions and other ''measures'' which are used in many application domains to evaluate behaviors, as well as the difference between monitoring real systems during their execution and monitoring simulated models during the system design phase. Bio: Oded Maler is research director at CNRS-VERIMAG, University of Grenoble-Alpes where he leads research activities on timed and hybrid models of cyber-physical systems. He obtained a B.A. in Computer Science (Technion, 1979), M.Sc. in Management Science (Tel-Aviv University, 1984) and Ph.D. in Computer Science (Weizmann Institute, 1990). Dr. Maler is among the initiators of the research on hybrid systems and his current research interests include the application of hybrid verification and monitoring techniques to control systems, analog circuits and systems biology as well as some topics in multi-criteria optimization and machine learning.