Samuel D. Pollard

Computer scientist at Sandia National Laboratories


I'm a senior R&D scientist, cybersecurity at Sandia National Laboratories. My work focuses on formal methods as it applies to high-performance computing, high-consequence embedded systems, and floating-point arithmetic.

// Main Links //

Research
CV (PDF)
Calendar
Sandia Department Page

// Contact //

E:
M:

// Other Links //

Github | Twitter | ResearchGate | ORCID | Google Scholar | LinkedIn | dblp