Scientist at Sandia National Laboratories studying formal methods and HPC. My research focuses on floating point arithmetic.