sdpoll

sdpoll has asked 3 questions and find answers to 0 problems.

15

EtPoint

0

Vote count

3

questions

0

answers

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