NASA Formal Methods 2024
Tue 4 - Thu 6 June 2024 Moffett Field, CA 94035, California, United States
NASA Formal Methods 2024 (series) / Joe Kiniry
Joe Kiniry

Registered user since Thu 19 Feb 2015

Name:Joe Kiniry
Bio:

Dad. Partner. Scientist. Activist. Maker. — He/Him

Country:United States
Affiliation:Galois, Inc.
Personal website: https://galois.com/team/joe-kiniry/
X (Twitter): https://x.com/kiniry
GitHub: https://github.com/kiniry
Research interests:high-assurance systems, safety, security, software, firmware, and hardware engineering; foundations of computer science and mathematics; and cybersecurity

Contributions

Show activities from other conferences

NASA Formal Methods 2024-profile
View general profile