SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
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
Research interests:formal methods

Contributions

FTSCS 2022 Q: A Sound Verification Framework for Statecharts and Their Implementations
Show activities from other conferences

Using general profile