[email protected]
Round Rock, Texas I'm a software engineer interested in correctness verification, productivity enhancement, and high-performance computing.
Neil Justice