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 the formal methods group at Sandia National Labs researching and developing verification techniques for low level programs, namely analysis of binaries and assembly languages.

I am located in Deschutes 337 and am a member of the High Performance Computing Laboratory (HPCL). You can find an overview of my (sparse) schedule below and my google calender in the link to the left.

Winter 2019 Schedule

HPCL Group Research Meetingt 10-11
Individual Research Meetingt 1-2
HPC Seminarf 12:30-2

Other Links: ResearchGate, Google Scholar, orcid (0000-0002-3275-4064), LinkedIn, Twitter (@samdpollard), Gitlab (@sampollard)

Of these, LinkedIn is the most frequently updated