Talks & Seminars
Title: An approach to Distributed Synthesis
Dr. Anup Basil Mathew, IMSc Chennai
Date & Time: October 18, 2017 11:00
Venue: Conference room, 1st Floor, CSE KR Bldg.
The Distributed Synthesis Problem(DSP) refers to the question of algorithmically synthesizing distributed systems from specifications. We consider some specification classes known to have a decidable DSP and show that these decidability results can be explained alternatively, in terms of the "bounded-model property" of a particular class of structures. Using this approach, we are able to show that DSP is decidable on a larger class of specifications than known previously.
Speaker Profile:
Anup Basil Mathew recently submitted his thesis to the Institute of Mathematical Sciences, Chennai, on the topic of distributed synthesis problem. His research interests lie in Verification and Synthesis of Distributed Systems, Automata theory, and Logic.
List of Talks


Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback