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.
Research interests:high-assurance systems, safety, security, software, firmware, and hardware engineering; foundations of computer science and mathematics; and cybersecurity

Contributions