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 //
// Other Links //
Github | Twitter | ResearchGate | ORCID | Google Scholar | LinkedIn | dblp