Samuel Pollard

Welcome to my webpage! I am a fifth year computer science Ph.D. candidate at the University of Oregon advised by Boyana Norris. My primary interests are formal methods and high performance computing (HPC). I am currently supported by Boyana Norris and the formal methods team at Sandia National Labs researching and developing verification techniques applied to the analysis of binaries, assembly languages, and computer arithmetic.

I am located in Deschutes 337 and am a member of the High Performance Computing Laboratory (HPCL).


Google Scholar
Gitlab (@sampollard)
Twitter (@samdpollard)
ORCID (0000-0002-3275-4064)

Note to Zena Ariola's Logic class: The notes from my Coq lecture are available here