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, spearheading formal verification and cybersecurity research for high-consequence systems. He holds a PhD in computer science (with a dissertation on floating-point arithmetic and binary/assembly verification), an MS in CS, and a BS in mathematics, providing a rigorous mathematical foundation for his work. His research applies formal methods to compilers, high-performance computing, and security-critical software, translating deep theory into auditable, reliable systems. Based in Berkeley, California, he has over a decade of experience across national labs and academia, including roles at Sandia and graduate fellowships at the University of Oregon, along with teaching stints at Western Washington University. An active mentor and educator, he leverages teaching experience and collaboration to advance security-focused engineering and contribute to the broader formal methods community.
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 (123)
linux10
configurations10
job-scheduler9
latex9
python9
windows9
scientific-computing9
hpc9
macos9
package-manager9
compilers8
coq8
proof-general8
computation8
cpp8
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.