Egon Börger is a German computer scientist known for his contributions to various fields within computer science, particularly in the areas of formal methods, software engineering, and process algebra. He has worked on topics such as the semantics of programming languages, system specification, and the development of theoretical foundations for software design and validation. Egon Börger is also recognized for his research on the concept of "abstract state machines" (ASMs), which are a theoretical framework for modeling and analyzing computational systems.
New to topics? Read the docs here!