Title: An approach to Distributed Synthesis

Description: Speaker: Dr. Anup Basil Mathew

Time: Wednesday, 18 October 2017, 11:00am
Venue: Conference room, 1st Floor, CSE KR Bldg.


Abstract:
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.

Organization:
IMSc Chennai



Host:
Prof. S. Akshay

Date: Wednesday, 18 October, 2017
Time: 11:00am IST
Access: Public
Category: Talk*
Created by: Department Calendar
Updated: Saturday, 14 October, 2017 12:58am IST
Send Reminder: Yes  -  111 hours 22 minutes before start
Participants: Department Calendar
<seminar@iitb.ac.in> (External User)
_NUC_department <all@cse.iitb.ac.in> (External User)