Samuel D. Pollard

Computer scientist at Sandia National Laboratories

My title at Sandia, perhaps a bit awkwardly phrased, is senior member of technical staff, R&D S&E cybersecurity. My work focuses on formal methods as it applies to high-performance computing, transition systems, and floating-point arithmetic.

// Main Links //

Research

CV (PDF)

Calendar

Sandia Department Page

// Other Links //