Yoram Moses from Technion will visit us next week, and will give a talk on Friday morning. The talk will be in room Grace Hopper, at 9:30 on December 13 and is entitled «On Using Silence and Time in Distributed Protocols».
Abstract: We consider how timing information can facilitate the design of efficient distributed protocols. In particular, we consider how it enables the use of silence - not sending messages - to obtain simple solutions with desirable properties. The talk will be self-contained, and will not assume any prior knowledge.
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 received the Gödel award in 1997 and the Dijkstra prize in 2009, for his work on knowledge in distributed and multi-agent systems. Among other topics, he has recently been studying the use of time in computer networks, and has been applying distributed systems techniques to the study of asynchronous VLSI circuits.