conf.researchr.org / 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