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 theAbstract 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 theB andZ 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 particularprogramming languages,System architecture, requirements andsoftware (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 theHumboldt 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-VerlagISBN3-540-42088-6, 2001
