Samuel Pollard

30 June 2021:
This webpage is no longer updated. For an up to date professional webpage, go to my new homepage

Welcome to my webpage! I received a Ph.D. in June 2021 from the University of Oregon advised by Boyana Norris. My primary interests are formal methods and high performance computing (HPC). I was supported by Boyana Norris and Sandia National Labs researching and developing verification techniques applied to the analysis of binaries, assembly languages, and computer arithmetic.

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


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

Note to Prof. Ariola's logic class: The notes from my Coq lecture are available here