Samuel D. Pollard -

Registered user since Tue 25 Oct 2022

Name:Samuel D. Pollard

Bio:

I’m a senior member of technical staff, R&D S&E cybersecurity, at Sandia National Laboratories. My work focuses on formal methods, especially as it applies to high-performance computing and floating-point arithmetic.

Country:United States

Affiliation:Sandia National Laboratories

Personal website: https://sampollard.github.io

X (Twitter): https://x.com/samdpollard

GitHub: https://github.com/sampollard

Research interests:formal methods

Contributions

2022

FTSCS

Author of Q: A Sound Verification Framework for Statecharts and Their Implementations within the Formal Techniques for Safety-Critical Systems-track