Michel Raynal

Michel Raynal (född 1949) är en fransk informatikforskare, professor vid IRISA , University of Rennes , Frankrike . Han är känd för sina bidrag inom områdena algoritmer , beräkningsbarhet och feltolerans i samband med samtidiga och distribuerade system . Michel Raynal är också Distinguished Chair professor vid Hong Kong Polytechnic University och redaktör för "Synthesis Lectures on Distributed Computing Theory" publicerad av Morgan & Claypool. Han är senior medlem av Institut Universitaire de France och medlem av Academia Europaea .

Michel Raynal var medförfattare till ett flertal forskningsartiklar om samtidig och distribuerad datoranvändning och har skrivit 12 böcker. Hans tre sista böcker utgör en introduktion till felfri och feltolerant samtidig och distribuerad datoranvändning. I sina publikationer strävar Michel Raynal efter att främja enkelhet som en "förstklassig medborgare" i det vetenskapliga förhållningssättet. Michel Raynal (och hans medförfattare) vann flera priser för bästa papper vid prestigefyllda konferenser som IEEE ICDCS 1999, 2000 och 2001, SSS 2009 och 2011, Europar 2010, DISC 2010 och ACM PODC 2014.

När Michel Raynal blev emeritusprofessor (2017) anordnade INRIA , IRISA och University of Rennes en workshop till hans ära med olika talare, inklusive Turing Award- mottagare ( Leslie Lamport ) och Dijkstra- pristagare ( Leslie Lamport , Maurice Herlihy , Yoram Moses ) , och professor vid Collège de France ( Rachid Guerraoui) .

Utbildning och karriär

Michel Raynal tog kandidatexamen (franska "Baccalauréat") både i litteratur och vetenskap. Han tog sin doktorsexamen från University of Rennes 1975 och sin "Doctorat d'état" 1981. Under perioden 1981-1984 var han professor vid en telekommunikationsingenjörskola ( ENST de Bretagne) där han skapade och ledde informatikavdelningen . 1984 flyttade han till universitetet i Rennes, och 1985 grundade han en forskargrupp helt ägnad åt distribuerade algoritmer (vid den tiden en av de första grupperna om detta forskningsämne i världen). [ citat behövs ]

Michel Raynal har varit en associerad medlem av redaktionen för internationella tidskrifter, inklusive Journal of Parallel and Distributed Computing (JPDC), IEEE Transactions on Computers (TC) och IEEE Transactions of parallel and Distributed Systems (TPDS), bland andra.

Forskningsområden och vetenskapliga intressen

Michel Raynals forskningsbidrag rör huvudsakligen samtidig och distribuerad beräkning , och mer specifikt: kausalitet , distribuerad synkronisering, feltolerans , distribuerad överenskommelse (konsensus) och distribuerad beräkningsbarhet . Hans första bok (om ömsesidig uteslutningsalgoritmer i både delat minne och system för meddelandeförmedling) anses vara en av de första böckerna som helt ägnas åt distribuerade algoritmer.

På synkroniseringssidan från , tillsammans med Jean-Michel Hélary och Achour Mostéfaoui, designade Michel Raynal en mycket enkel generisk algoritm för ömsesidig uteslutning av meddelanden, vilken kan härledas massor av token- och trädbaserade mutex -algoritmer.

På kausalitetssidan ögonblicksbilden producerade han tillsammans med medarbetare en mycket enkel algoritm för kausal meddelandeleverans och en optimal vektor-klockbaserad distribuerad kontrollpunktsalgoritm, som etablerade de teoretiska grunderna för distribuerad kontrollpunkt, och den så kallade kommunikationsbaserade . Han introducerade också (med Hélary och Mostéfaoui) begreppet virtuell företräde. Tillsammans med V. Garg introducerade han begreppet "normalitet" som utvidgar det välkända linjäriseringskonsistensvillkoret till det fall där objekt har polyadiska operationer.

På avtalssidan bysantinska producerade Michel Raynal (främst med A. Mostéfaoui) flera algoritmer för asynkrona meddelandeöverföringssystem som löser konsensus i närvaro av kraschfel eller bearbetar misslyckanden . Denna sista algoritm är en otroligt enkel randomiserad algoritm som är optimal med avseende på både tids- och meddelandekomplexitet. Med Mostéfaoui och Rajsbaum introducerade Michel Raynal också ett nytt tillvägagångssätt för att lösa konsensus som kallas "tillståndsbaserat". Detta tillvägagångssätt visade på ett mycket starkt samband mellan felkorrigerande koder och distribuerade avtalsproblem . Michel Raynal designade även distribuerade algoritmer för andra avtalsproblem (som k-set-avtal och byte av namn).

Nyligen introducerade Armando Castaneda, Sergio Rajsbaum och Michel Raynal begreppet "intervalllinjärisering" vilket är det första begreppet som tillåter oss att förena begreppen "samtidiga objekt" och "distribuerade uppgifter" i ett enda ramverk.

På beräkningssidan . tog Stainer, Taubenfeld och Raynal upp universella konstruktioner som tillåter x av k distribuerade tillståndsmaskiner att utvecklas i närvaro av asynkroni och valfritt antal processkrascher Nyligen, från en första idé som föreslogs av Taubenfeld, blev Michel Raynal intresserad av algoritmer anpassade för anonyma minnen.

Utmärkelser och utmärkelser

Hämtad från " https://en.wikipedia.org/w/index.php?title=Michel_Raynal&oldid=1140050927 "