Probabilistically Analysable Real-Time Systems

Vincent Gramoli

Vincent Gramoli received a Master's degree in computer science from Université de Paris 7 in 2003 and a Master's degree in distributed systems from Université de Paris Sud in 2004. The same year he worked as a visiting research assistant with Alex Shvartsman. He obtained his PhD on large-scale dynamic distributed shared memory in 2007 from Université de Rennes 1 at IRISA and INRIA Futurs (Saclay) under the supervision of Michel Raynal. In fall 2007, he worked as a visiting scientist at Cornell University with Ken Birman and Robbert van Renesse. Since 2008, he is a postdoc fellow at École Polytechnique Fédérale de Lausanne (EPFL) in Rachid Guerraoui's group and at Université de Neuchâtel (UniNe) with Pascal Felber working on software transactional memory.