Herwig Egghart


Herwig Egghart's interest in strategies against the software crisis dates back to the year 1989, when he joined Tele Control (meanwhile Scientific Games Vienna) at the age of 20. During the first decade of his career, Mr. Egghart experienced the full spectrum of software-engineering activities, graduated from TU Vienna, and earned a Master's degree in the United States on a Fulbright scholarship. In 2001, he developed an emergency precompiler when Oracle desupported the Pascal language, which Scientific Games honored with a "Bright Ideas Program Award".

Working primarily on instant-ticket and oddset gaming systems, Mr. Egghart dedicated his second professional decade to the problem of defect prevention in untested code (inspired by the work of E. W. Dijkstra and H. D. Mills). He taught several workshops on axiomatic semantics and obtained a Scientific Games "Cleanroom license", allowing him to focus on error-free programming without having to execute the resultant code. Mr. Egghart's main technical innovation is elaborated in his 2009 paper "Double Program Entry and Computer-Aided Code Review".


What Every Software Engineer Should Know On Axiomatic Semantics
Double Program Entry and Computer-Aided Code Review
Wildcard Matching in the Spirit of E. W. Dijkstra