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.