Egon Börger (born 13 May 1946[2]) is a German-born computer scientist based in Italy.

Between 1972 and 1976, he was at the Università di Salerno in Italy,[3] where he taught the first courses in the newborn Computer Science Degree.

[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.