Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 
avatar of sdpoll

sdpoll

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

Stats

15
EtPoint
0
Vote count
3
questions
0
answers

About

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

sdpoll answers