Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 
avatar of sdpoll

sdpoll

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

Stats

20
EtPoint
0
Vote count
4
questions
0
answers

About

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