Stephen Cross

Stephen Cross is a software engineer at leading UK start-up, Undo Software (http://undo-software.com/), where he works on reversible debugging technology designed to improve software quality, robustness and security. He’s very enthusiastic about program analysis and correctness, as well as efficient abstractions and low level tricks to implement these abstractions. In his own time he develops Loci, a systems programming language.