Registered user since Thu 19 Feb 2015
Name:Joe Kiniry
Bio:
Dad. Partner. Scientist. Activist. Maker. — He/Him
Country:United States
Affiliation:Sigil Logic and Free & Fair
Personal website: https://www.linkedin.com/in/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
Using general profile