Samuel Pollard

Welcome to my webpage! I am a third year computer science Ph.D. candidate at the University of Oregon advised by Boyana Norris. My primary interests are high performance computing (HPC) and formal methods. 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
Twitter (@samdpollard)
Gitlab (@sampollard)
ORCID (0000-0002-3275-4064)

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