Samuel Pollard received his B.S. in mathematics (2014) and M.S. in computer science (2016) from Western Washington University. He is a fourth year PhD candidate at the University of Oregon with a focus on formal methods applied to high-performance computing (HPC). He has researched job scheduling at Lawrence Livermore National Lab and is currently supported by Boyana Norris and the Digital Foundations and Mathematics team at Sandia National Labs. His research areas include instruction set architecture verification, floating point arithmetic, formal proofs, and how they all relate to HPC.
Reproducibility and Transparency