conf.researchr.org / Joe Kiniry
![Joe Kiniry](https://conf.researchr.org/getProfileImage/joekiniry/b41a43f4-55f5-48d7-a9dd-d3736e79f456/small.jpg?1711571267000)
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