Samuel Pollard
Senior Member Of Technical Staff, R&D S&E Cybersecurity at Sandia National Laboratories
Berkeley, California, United States
Summary
👤
Senior🎓
Top SchoolSamuel Pollard is a Senior Member of Technical Staff at Sandia National Laboratories with 12 years of experience applying formal methods to compilers, assembly-level verification, and high-performance computing. He holds a Ph.D. in computer science focused on floating-point arithmetic and binary/assembly verification, and his work bridges rigorous theorem-based techniques with practical performance engineering. At Sandia and the University of Oregon he developed an embedded DSL in Haskell for ISA specification and symbolic execution, and continues to translate research prototypes into tools for real-world HPC and cybersecurity problems. Based in Berkeley, he combines deep mathematical training with hands-on systems experience—from Flux scheduler plugins to Python testing utilities—bringing a rare mix of low-level correctness and performance sensitivity to critical software stacks.
12 years of coding experience
1 year of employment as a software developer
Master of Science (M.S.), Computer Science, 3.95, Master of Science (M.S.), Computer Science, 3.95 at Western Washington UniversityDoctor of Philosophy (Ph.D.), Computer Science, 4.07, Doctor of Philosophy (Ph.D.), Computer Science, 4.07 at University of Oregon Graduate School
English
Stackoverflow
77reputation
476reached
0answers
3questions
Github Skills (119)
linux10
configurations10
job-scheduler9
latex9
python9
windows9
scientific-computing9
hpc9
macos9
package-manager9
coq8
proof-general8
computation8
trace8
perf8
Programming languages (15)
Github contributions (5)
sampollard/flux-sched
Jul 2017 - Aug 2018
Flux scheduler components
Contributions:9 PRs, 52 pushes, 10 branches in 1 year
schedulerflux
sampollard/fpcost
Apr 2021 - Jul 2022
Contributions:8 reviews, 7 PRs, 13 pushes in 1 year 3 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.