sdpoll
426
reputation
2
12
Scientist at Sandia National Laboratories studying formal methods and HPC. My research focuses on floating point arithmetic.