Michel Raynal is also Distinguished Chair professor at the Hong Kong Polytechnic University[2] and editor of the “Synthesis Lectures on Distributed Computing Theory” published by Morgan & Claypool.
[9] Michel Raynal (and his co-authors) won several best paper awards in prestigious conferences such as IEEE ICDCS 1999, 2000 and 2001, SSS 2009 and 2011, Europar 2010, DISC 2010, and ACM PODC 2014.
When Michel Raynal became Emeritus professor (2017), INRIA, IRISA and the University of Rennes organized a Workshop[10] in his honor featuring various speakers, including Turing Award recipient (Leslie Lamport) and Dijkstra Prize recipients (Leslie Lamport, Maurice Herlihy, Yoram Moses), and professor at Collège de France (Rachid Guerraoui).
[17] Together with V. Garg, he introduced the concept of “normality” which extends the well-known linearizability consistency condition to the case where objects have polyadic operations.
[25] On the computability side, Stainer, Taubenfeld, and Raynal addressed universal constructions that allow x out of k distributed state machines to progress in the presence of asynchrony and any number of process crashes.