Skip to main content
sdpoll's user avatar
sdpoll's user avatar
sdpoll's user avatar
sdpoll
  • Member for 35 days
  • Last seen more than a week ago
About

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

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Posts

This user hasn’t posted yet.