5 September 2018: Yoram Moses (Technion Faculty of Electrical Engineering)

Speaker: Yoram Moses

 

Title: Indistinguishability, Duality, and Coordination

Abstract: Indistinguishablity is a fundamental notion in distributed systems. It serves as the central tool in impossibility proofs and lower bounds. Indeed, indistinguishability can be used to determine when actions are disallowed. Its dual, which corresponds to the knowledge that a process has, plays the opposite role, and determines when actions are allowed. This talk will discuss the relation between knowledge and action in distributed systems, and present several theorems that apply across all models of distributed computation. The connections drawn also relate a semantic approach, which can be viewed in terms a modal logic, and algorithmic issues.

 

Short bio: 

 

Yoram Moses received a PhD from Stanford university in 1986, and is now a professor of electrical engineering and the Israel Pollack academic chair at the Technion. He is the recipient of the Godel award in 1997 and the Dijkstra prize in 2009, for his work on knowledge in distributed and multi-agent systems. 

Sep 05 2018 -

5 September 2018: Yoram Moses (Technion Faculty of Electrical Engineering)

Indistinguishability, Duality, and Coordination

IF 4.31/4.33