Samuel D. Pollard

Computer scientist at Sandia National Laboratories

I'm a senior member of technical staff at Sandia National Laboratories. My work focuses on formal methods as it applies to high-performance computing, safety critical embedded systems, and floating-point arithmetic.

// Main Links //

Research

CV (PDF)

Sandia Department Page

// Contact //

E: spolladot@sandiasomething interesting here.gov
M: 925dash 667dash 1948
Sandia National Laboratories
7011 East Ave, Livermore, CA 94550

// Other Links //