Eike Best
   HOME

TheInfoList



OR:

Eike Best (born 13 March 1951) is a German computer scientist, best known for his contributions to
concurrency theory Concurrency refers to the ability of a system to execute multiple tasks through simultaneous execution or time-sharing (context switching), sharing resources and managing interactions. Concurrency improves responsiveness, throughput, and scalabi ...
.


Early life and education

Eike Best was born in
Neustadt an der Weinstraße Neustadt (German for ''new town'' or ''new city'') may refer to: Places * Neustadt (urban district) Czech Republic *Neustadt an der Mettau, Nové Město nad Metují *Neustadt an der Tafelfichte, Nové Město pod Smrkem * Nové Město na Mo ...
. During his childhood, he lived in
Argentina Argentina, officially the Argentine Republic, is a country in the southern half of South America. It covers an area of , making it the List of South American countries by area, second-largest country in South America after Brazil, the fourt ...
, Germany, and
Turkey Turkey, officially the Republic of Türkiye, is a country mainly located in Anatolia in West Asia, with a relatively small part called East Thrace in Southeast Europe. It borders the Black Sea to the north; Georgia (country), Georgia, Armen ...
, where his father worked as high school teacher. Best received a high school diploma from th
German School of Istanbul
in 1969, a Diploma in Computer Science from the
Technische Hochschule Karlsruhe The Karlsruhe Institute of Technology (KIT; ) is both a German public university, public research university in Karlsruhe, Baden-Württemberg, and a research center of the Helmholtz Association. KIT was created in 2009 when the University of Ka ...
in 1974, and a PhD from
Newcastle University Newcastle University (legally the University of Newcastle upon Tyne) is a public research university based in Newcastle upon Tyne, England. It has overseas campuses in Singapore and Malaysia. The university is a red brick university and a mem ...
in 1981 for a dissertation on semantics, verification, and design of concurrent programs, supervised by Peter Lauer and
Brian Randell Brian Randell (born 1936) is a British computer scientist, and emeritus professor at the School of Computing, Newcastle University, United Kingdom. He specialises in research into software fault tolerance and dependability, and is a noted ...
. He habilitated in 1988 at the
University of Bonn The University of Bonn, officially the Rhenish Friedrich Wilhelm University of Bonn (), is a public research university in Bonn, North Rhine-Westphalia, Germany. It was founded in its present form as the () on 18 October 1818 by Frederick Willi ...
with a thesis on causal semantics of non-sequential programs.


Career and contributions

Best was research assistant in
Carl Adam Petri Carl Adam Petri (12 July 1926 in Leipzig – 2 July 2010 in Siegburg) was a German mathematician and computer scientist. Life and work Petri created his major scientific contribution, the concept of the Petri net, in 1939 at the age of 13, for ...
's research group at the
Gesellschaft für Mathematik und Datenverarbeitung The Fraunhofer Society () is a German publicly-owned research organization with 76institutes spread throughout Germany, each focusing on different fields of applied science (as opposed to the Max Planck Society, which works primarily on basic sc ...
near Bonn (1981–1988), and professor in the Computer Science departments at the
University of Hildesheim The University of Hildesheim (in German ''Universität Hildesheim'') is a public university located in Hildesheim, in the German state of Lower Saxony. History Alfeld University of Education (Pädagogische Hochschule Alfeld) – University o ...
(1989–1996) and the Carl von Ossietzky University of Oldenburg (1996–2018), where he headed the Group for Parallel Systems. During his Bonn period he developed Petri's theory of non-sequential processes together with César Fernández, and contributed to the theory of free-choice Petri nets. During his Hildesheim and Oldenburg periods he developed the Petri Box Calculus, a
process algebra In computer science, the process calculi (or process algebras) are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and ...
with a Petri net semantics, together with Raymond Devillers and Maciej Koutny. During the last years of his career in Oldenburg he worked on the automatic synthesis of Petri nets from transition systems. In the 1990s, Best was one of the founders of CONCUR, the
International Conference on Concurrency Theory International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * International (Kevin Michael album), ''International'' (Kevin Michael album), 2011 * International (New Order album), ' ...
, together with Jos Baeten, Kim Larsen, Ugo Montanari, and
Pierre Wolper Pierre Wolper is a Belgian computer scientist at the University of Liège. His research interests include verification methods for reactive and concurrent programs, as well as temporal databases. He is the co-recipient of the 2000 Gödel Prize, ...
. Moreover, Best was coordinator of the DEMON and CALIBAN projects, funded by the European Community. He acted as dean of the Computer Science Faculty from 2000 to 2002 and became director of the Computer Science Department at University of Oldenburg in 2009.


Selected publications

Eike Best is the author and co-author of multiple books in computer science, including: * * *


References


External links


Personal home page



Google Scholar profile
{{DEFAULTSORT:Best, Eike Living people 1951 births People from Neustadt an der Weinstraße Alumni of Newcastle University Academic staff of the University of Oldenburg German computer scientists Formal methods people