User:DuncanHiggins

From SPA Wiki

Having received one NullPointerException too many as a Java programmer, I decided there must be a better way to write solid reliable code. This started me on a long path of discovery through the worlds of static analysis tools, code generation techniques and software modelling. At the same time I became very interested in algebraic specification languages and the formal verification of software.

I have been actively using a language called the Java Modelling Language and a tool known as ESC/Java (the ‘ESC’ standing for Extended Static Checking) for over five years. These tools help develop robust and highly reliable code. In addition to these tools, I have been involved in writing parsers and static analysis tools for languages such as Java and Sybase Transact SQL, which have been used to perform code analysis on enterprise applications. I have also developed tools to generate proof scripts for the Isabelle Automated Theorem Prover for the purpose of software modelling and verification.

At present I consult to a large investment bank and in the past have consulted to companies such as PriceWaterhouseCoopers, Reuters, Walt Disney Internet Group, Procter & Gamble, Sun Microsystems and eBay.

Details

Work: Special Source Ltd

Email: duncan.higgins at special-source.co.uk