Egon Börger is a pioneer of applying logical methods in computer science. He is co-founder of the international conference series CSL.[5] He is also one of the founders of the Abstract State Machines (ASM) formal method for accurate and controlled design and analysis of computer-based systems [6] and cofounder of the series of international ASM workshops,[7] which in 2008 merged with the regular meetings of the B and Z User Groups to form the international ABZ conference.[8]
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 ASM-based modeling and verification technology, which he has crucially shaped by his activities. In 2007, he received the Humboldt Research Award.[9]
Egon Börger Computability, Complexity, Logic (North-Holland, Amsterdam 1989, translated from the German original from 1985, Italian Translation Bollati-Borighieri 1989)
Egon Börger, The Classical Decision Problem (co-authored by E.Graedel and Y.Gurevich), Springer-Verlag 1997, ISBN3-540-57073-X, 2nd Edition as "Universitext", Springer-Verlag 2001, ISBN3-540-42324-9
Egon Börger, Java and the Java Virtual Machine: Definition, Verification, Validation (co-authored by R. Staerk and J. Schmid), Springer-Verlag ISBN3-540-42088-6, 2001