Log in
Posts

Professor

Postal address:

IRISA/University of Rennes 1

Room:

F-427

Phone:

+33 2 99 84 71 88

Fax:

+33 2 99 84 71 71

E-Mail:

Michel.Raynal@irisa.fr

raynal_photo

A more detailed web page

Short biography

Michel Raynal has been a professor of computer science since 1981. At Inria, he founded a research group on Distributed Algorithms in 1983. He has been Principal Investigator of a number of research grants in these areas, and has been invited by many universities all over the world to give lectures and tutorials on distributed algorithms and fault-tolerant distributed computing systems. He belongs to the editorial board of several international journals. Professor Michel Raynal has published more than 95 papers in journals and more than 195 papers in conferences. He has also written seven books devoted to parallelism, distributed algorithms and systems (MIT Press and Wiley).

Research interests

His research interests include distributed algorithms, distributed computing systems and dependability. His main interest lies in the fundamental principles that underlie the design and the construction of distributed computing systems.

Selected publications


    Publications list

    Book / Book chapters: 5 Transactions and Journals: 30 Conferences: 72 Activity Reports: 73

    Book / Book chapters


    • Michel Raynal. Distributed Algorithms for Message-Passing Systems. Springer, pp.I-XXX, 1-500, 2013, 978-3-642-38123-2.
    • Michel Raynal. Concurrent Programming: Algorithms, Principles, and Foundations. Springer, pp.I-XXXII, 1-515, 2013, 978-3-642-32027-9.
    • Anne Benoit, Vangelis Paschos, Michel Raynal, Yves Robert, Denis Trystram. Ressources informatiques : encore une histoire de temps !. unknown editor. Les Ressources, Institut Universitaire de France, pp.225-243, 2011, Les colloques de l'IUF.
    • Michel Raynal. Fault-Tolerant Agreement in Synchronous Message-Passing Systems. Morgan & Claypool Publishers. Morgan & Claypool Publishers, 165 p., 2010, 978-1-60845-525-6.
    • Michel Raynal. Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems. Morgan & Claypool Publishers. Morgan & Claypool Publishers, 251 p., 2010, 978-1-60845-293-4.

    Transaction and Journal

    • Yehuda Afek, Eli Gafni, Sergio Rajsbaum, Michel Raynal, Corentin Travers. The k-simultaneous consensus problem.Distributed Computing, Springer Verlag, 2010, 22 (3), pp.185-196. <10.1007/s00446-009-0090-8>.

    Conferences


    • Zohir Bouzid, Achour Mostéfaoui, Michel Raynal. Minimal Synchrony for Byzantine Consensus. Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC 2015), Jul 2015, Donostia-San Sebastián, Spain. pp.461-470, 2015, <10.1145/2767386.2767418>.
    • Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer. Computing in the Presence of Concurrent Solo Executions. LATIN 2014: Theoretical Informatics, 2014, Montevideo, Uruguay. LATIN 2014: Theoretical Informatics Lecture Notes in Computer Science Volume 8392, 2014, pp 214-225, 8392, pp.214-225, . <10.1007/978-3-642-54423-1_19>.
    • Michel Raynal, Julien Stainer, Gadi Taubenfeld. Distributed Universality. Principles of Distributed Systems, 2014, Cortina d’Ampezzo, Italy. Principles of Distributed Systems Lecture Notes in Computer Science Volume 8878, 2014, pp 469-484, 8878, pp.469-484, . <10.1007/978-3-319-14472-6_31>.
    • François Taïani, Barry Porter, Geoff Coulson, Michel Raynal. Cliff-Edge Consensus: Agreeing on the Precipice. Malyshkin, Victor. 12th International Conference on Parallel Computing Technologies (PaCT-2013), Sep 2013, St. Petersburg, Russia. Springer, 7979, pp.51-64, 2013, Lecture Notes in Computer Science; Parallel Computing Technologies. . <10.1007/978-3-642-39958-9_5>.
    • Julien Bourgeois, Jiannong Cao, Michel Raynal, Dominique Dhoutaut, Jean Piranda, Eugen Dedu, Ahmed Mostefaoui, Hakim Mabed. Coordination and Computation in distributed intelligent MEMS. AINA 2013, 27th IEEE Int. Conf. on Advanced Information Networking and Applications, Jan 2013, Spain. pp.118--123, 2013.
    • Tyler Crain, Vincent Gramoli, Michel Raynal. A speculation-friendly binary search tree. 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, 2012, New Orleans, United States. 2012.
    • Damien Imbs, Sergio Rajsbaum, Michel Raynal. The Universe of Symmetry Breaking Tasks. 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO'11), 2011, Gdansk, Poland. Springer-Verlag LNCS, pp.66-77, 2011.
    • Achour Mostefaoui, Michel Raynal. Signature-Free Broadcast-Based Intrusion Tolerance. Chenyang Lu and Toshimitsu Masuzawa and Mohamend Mosbah. 14th International Conference On Principles Of Distributed Systems (OPODIS 2010), Dec 2010, Tozeur, Tunisia. Springer Verlag, 6490, pp.143-159, 2010, LNCS; Principles of Distributed Computing.
    • Damien Imbs, Michel Raynal, Gadi Taubenfeld. On Asymmetric Progress Conditions. 29th ACM Symposium on Principles of Distributed Computing (PODC'10), Jul 2010, Zurich, Switzerland. ACM Press, pp.55-64, 2010.
    • Damien Imbs, Michel Raynal. The x-Wait-freedom Progress Condition. Proc. 16th Int'l European Parallel Computing Conference (EUROPAR'10), 2010, Ischia - Naples, Italy. Springer-Verlag LNCS, pp.584-595, 2010.
    • Achour Mostefaoui, Michel Raynal, Corentin Travers. Narrowing Power vs. Efficiency in Synchronous Set Agreement. Shrisha Rao, Mainak Chatterjee and Prasad Jayanti and C. Siva Ram Murthy and Sanjoy Kumar Saha. 9th International Conference on Distributed Computing and Networking, Jan 2008, Kolkata, India. Springer Verlag, 4904, pp.99-111, 2008, LNCS.
    • Antonio Fernández, Vincent Gramoli, Ernesto Jimenez, Anne-Marie Kermarrec, Michel Raynal. Distributed Slicing in Dynamic Systems. The 27th International Conference on Distributed Computing Systems (ICDCS'07), Jun 2007, Toronto, Canada. pp.66, 2007.
    • Achour Mostefaoui, Michel Raynal, Corentin Travers. From Renaming to Set Agreement. Giuseppe Prencipe and Shmuel Zaks. 14th International Colloquium on Structural Information and Communication Complexity, Jun 2007, Castiglioncello, Italy. Springer Verlag, 4474, pp.66-80, 2007, LNCS.

    Technical Reports

    One Response to “Michel RAYNAL”

    1. […] On the 18th of March 2015, Julien Stainer successfully defended his thesis “Computability Abstractions for Fault-tolerant Distributed Systems” which he prepared under the supervision of Michel Raynal. […]