conf.researchr.org / Samuel D. Pollard
Registered user since Tue 19 Jan 2021
Name:Samuel D. Pollard
Bio:
I am a computer scientist at Sandia National Laboratories. My work focuses on formal methods as it applies to high-performance computing, transition systems, and floating-point arithmetic.
Country:United States
Affiliation:Sandia National Laboratories
Personal website: https://sampollard.github.io
X (Twitter): https://x.com/samdpollard
GitHub: https://github.com/sampollard
Research interests:Formal Methods, High Performance Computing, Floating-Point Arithmetic
Contributions