Gjesteforelesning: "Paxos Explained from Scratch" - Professor Hein Meling, UiS

Faglig kontaktperson er førsteamanuensis John Markus Bjørndalen. 

Kart over Campus: ( https://uit.no/campustromso ) 

Alle interesserte er hjertelig velkomne. 

Vel møtt!

--------------------------------------------------

Date: Friday May 22nd 2015, 12:15 
Place: Lille Aud, Realfagsbygget, UiT 
Title: " Paxos Explained from Scratch "
Lecturer: Professor Hein Meling, Universitetet i Stavanger

Abstract:
Paxos is a flexible and fault tolerant protocol for solving the consensus problem, where participants in a distributed system need to agree on a common value. However, Paxos is reputed for being difficult to understand. This tutorial aims to address this difficulty by visualizing Paxos in a completely new way. Starting from a naive solution and strong assumptions, Paxos is derived in a step-wise fashion. In each step, minimal changes are made to the solution and assumptions, aimed at understanding why the solution fails. In this manner, a correct solution that corresponds to Paxos is eventually reached. 

Bio: 
Hein Meling is Professor of Computer Science at the University of Stavanger, Norway, where he works on systems and protocols to improve the robustness of network services. He was co-PI on the Tidal News project funded by the Norwegian Research Council. He runs a small research group focusing on building a Paxos-based middleware framework to build robust network services. He received a PhD in 2006 from the Norwegian University of Science and Technology.