Neil Justice

[email protected]

Round Rock, Texas I'm a software engineer interested in correctness verification, productivity enhancement, and high-performance computing.