March 4th, 12:00 pm – 1:00 pm in DCH 3092
Speaker: Suguman Bansal (COMP)
Please indicate interest, especially if you want lunch, here.
Abstract:
Intelligent machines, such as IoT devices, are fundamentally reactive systems that interact with the outer physical environment to achieve a goal.
Although prevalent, the design of a ‘provably correct’ intelligent machines would require to account for all the complex ways in which an environment and the machines may interact. This is challenging and error-prone. In this talk, I will introduce the paradigm of “Reactive synthesis” wherein the machine is automatically constructed from a high-level description of its goal. This way, an intelligent machine can be designed in a declarative fashion as opposed to an imperative fashion. This talk will cover recent theoretical and algorithmic advances in the area of reactive synthesis under the assumption of asynchrony and richer goal descriptions. It will also cover how you, an ML enthusiast/researcher, can contribute to this emerging field of research.