Eike Best

Eike Best (född 13 mars 1951) är en tysk datavetare, mest känd för sina bidrag till samtidighetsteorin .

tidigt liv och utbildning

Eike Best föddes i Neustadt an der Weinstraße . Under sin barndom bodde han i Argentina , Tyskland och Turkiet , där hans far arbetade som gymnasielärare. Best fick ett gymnasieexamen från den tyska skolan i Istanbul 1969, ett diplom i datavetenskap från Technische Hochschule Karlsruhe 1974 och en doktorsexamen från Newcastle University 1981 för en avhandling om semantik, verifiering och design av samtidiga program, övervakas av Peter Lauer och Brian Randell . Han habiliterade 1988 vid universitetet i Bonn med en avhandling om kausal semantik för icke-sekventiella program.

Karriär och bidrag

Bäst var forskarassistent i Carl Adam Petris forskargrupp vid Gesellschaft für Mathematik und Datenverarbeitung nära Bonn (1981–1988), och professor vid datavetenskapsavdelningarna vid universitetet i Hildesheim (1989–1996) och Carl von Ossietzky-universitetet. i Oldenburg (1996–2018), där han ledde Group for Parallel Systems. Under sin Bonnperiod utvecklade han Petris teori om icke-sekventiella processer tillsammans med César Fernández, och bidrog till teorin om Petri-nät med fritt val . Under sina Hildesheim- och Oldenburgperioder utvecklade han Petri Box Calculus, en processalgebra med en Petri-net-semantik, tillsammans med Raymond Devillers och Maciej Koutny. Under de sista åren av sin karriär i Oldenburg arbetade han med automatisk syntes av petrinät från övergångssystem.

På 1990-talet var Best en av grundarna av CONCUR, International Conference on Concurrency Theory , tillsammans med Jos Baeten, Kim Larsen, Ugo Montanari och Pierre Wolper . Dessutom var Best samordnare för DEMON- och CALIBAN-projekten, finansierade av Europeiska gemenskapen. Han var dekan för datavetenskapliga fakulteten från 2000 till 2002 och blev direktör för datavetenskapliga institutionen vid universitetet i Oldenburg 2009.

Utvalda publikationer

Eike Best är författare och medförfattare till flera böcker inom datavetenskap, inklusive:

•   Bästa, Eike; Devillers, Raymond; Koutny, Maciej (2001), Petri Net Algebra , EATCS Monographs on Theoretical Computer Science Series, Springer, ISBN 3-540-67398-9
•   Best, Eike (1996), Semantics of Sequential and Parallel Programs , International Series in Computer Science, Prentice Hall, sid. 356, ISBN 0-13-460643-4
•   Bästa, Eike; Fernández, César (1988), Nonsequential Processes: A Petri Net View , EATCS Monographs on Theoretical Computer Science Series, vol. 13, Springer, sid. 130, ISBN 0-387-19030-9

externa länkar

• Personlig hemsida
• DBLP publikationslista
• Google Scholar-profil