Egon Börger - Egon Börger

Egon Börger
Boerger.jpg
narozený13. května 1946 (1946-05-13) (stáří74)
Bad Laer, Osnabrück, Vestfálsko, Dolní Sasko, Německo
NárodnostNěmec
Alma materSorbonna
Université Catholique de Louvain
University of Münster
Známý jakoAbstraktní státní stroje
OceněníHumboldtova cena za výzkum (2007)
Vědecká kariéra
PolePočítačová věda
InstituceUniverzita v Pise

Egon Börger (narozen 13. května 1946[1]) je Němec -rozený počítačový vědec se sídlem v Itálie.

Život a dílo

Börger se narodil v Bad Laer, Vestfálsko, Dolní Sasko, Německo. V letech 1965 až 1971 studoval na Sorbonna, Paříž (Francie ), Université Catholique de Louvain, Institut Supérieur de Philosophie de Louvain a University of Münster (Německo). Od roku 1985 zastává funkci předsedy počítačová věda na Univerzita v Pise, Itálie. Od září 2010 je zvoleným členem Academia Europaea.[2]

Börger je průkopníkem v uplatňování logických metod v počítačové vědě. Je spoluzakladatelem mezinárodní konferenční série CSL.[3] Je také jedním ze zakladatelů Abstraktní státní stroje (ASM) formální metoda pro přesný a kontrolovaný návrh a analýzu počítačových systémů [4] a spoluzakladatel řady mezinárodních workshopů ASM.[5]

Börger přispěl k teoretickým základům metody a zahájil její průmyslové aplikace, zejména v různých oblastech programovací jazyky, Architektura systému, požadavky a software (re) inženýrství, řídicí systémy, protokoly, webové služby. K dnešnímu dni je jedním z předních vědců v oblasti modelování a ověřování založeného na ASM, které zásadně formoval svými aktivitami. V roce 2007 obdržel Humboldtova cena za výzkum.[6]

Vybrané publikace

  • Egon Börger a Robert Stärk, Abstract State Machines: A Method for High-Level System Design and Analysis, Springer-Verlag, 2003. (ISBN  3-540-00702-4)
  • Egon Börger Vyčíslitelnost, složitost, logika (North-Holland, Amsterdam 1989, přeloženo z německého originálu z roku 1985, italský překlad Bollati-Borighieri 1989)
  • Egon Börger, Problém klasického rozhodování (spoluautor E. Graedel a Y. Gurevich), Springer-Verlag 1997, ISBN  3-540-57073-X, 2. vydání jako „Universitext“, Springer-Verlag 2001, ISBN  3-540-42324-9
  • Egon Börger, Java and the Java Virtual Machine: Definition, Verification, Validation (spoluautor R. Staerk a J. Schmid), Springer-Verlag ISBN  3-540-42088-6, 2001

Reference

  1. ^ Abrial, Jean-Raymond a Glässer, Uwe (2009). „Pocta Egonu Börgerovi při příležitosti jeho 60. narozenin“ (PDF). Přísné metody pro konstrukci a analýzu softwaru - příspěvky věnované Egonovi Börgerovi u příležitosti jeho 60. narozenin. Přednášky z informatiky. 5115. Springer. Citováno 9. dubna 2012.CS1 maint: více jmen: seznam autorů (odkaz)
  2. ^ „Egon Boerger“. Academia Europaea. Citováno 9. dubna 2012.
  3. ^ Logika informatiky, University of Trier, Německo.
  4. ^ Centrum pro výzkum abstraktních státních strojů.
  5. ^ Mezinárodní workshopy ASM, Michiganská univerzita, USA.
  6. ^ Humboldtova nadace, Německo.

externí odkazy