Biography
Samuel Pollard is a scientist at Sandia National Laboratories researching formal methods and HPC. Samuel received a B.S. in mathematics (2014) and an M.S. in computer science (2016) from Western Washington University before receiving a Ph.D. in computer science from the University of Oregon.
Presentations
Workshop
Recorded
Correctness
Software Engineering
W
Back To Top Button