Post date: Jan 5, 2017 1:13:58 PM
Tuanir Rezende has just successfully defended his MSc thesis "A Faithful Generalized Paxos Implementation and a Novel CStruct for Distributed Lease Coordination". Thanks to the committee members, Gustavo Maciel Dias Vieira and Luis Fernando Faina, for their contributions. Besides being the first to defend in our group in 2017, Tuanir was also the first to write his thesis in english, soon to be available here.