Background
Börger was born in Bad Laer, Westphalia, Lower Saxony, Germany.
mathematician computer scientist
Börger was born in Bad Laer, Westphalia, Lower Saxony, Germany.
Between 1965 and 1971 he studied at the Sorbonne, Paris (France), Université Catholique de Louvain and Institut Supérieur de Philosophie de Louvain (in Louvain-la-Neuve, Belgium), University of Münster (Germany).
Since 1985 he has held a Chair in computer science at the University of Pisa, Italy. Börger is a pioneer of applying logical methods in computer science. He is also one of the founders of the Abstract State Machines (American Society for Microbiology) formal method for accurate and controlled design and analysis of computer-based systems and cofounder of the series of international American Society for Microbiology workshops.
Börger contributed to the theoretical foundations of the method and initiated its industrial applications in a variety of fields, in particular programming languages, System architecture, requirements and software (re-)engineering, control systems, protocols, web services.
To this date, he is one of the leading scientists in American Society for Microbiology-based modeling and verification technology, which he has crucially shaped by his activities.
Academia Europaea]
Since September 2010, he has been an elected member of the Academia Europaea.