Joseph Kiniry
CEO And Chief Scientist at Free & Fair
Portland, Oregon, United States
Summary
🤩
Rockstar🎓
Top SchoolJoseph Kiniry is a seasoned leader in applied formal methods and software assurance with 23 years of experience, currently serving as CEO and Chief Scientist of Sigil Logic and Free & Fair while also holding a Principal Scientist role at Galois. He builds practical, correctness- and security-by-construction solutions—now focusing on embedding rigorous digital engineering into generative AI via the RDE Wingman to produce provably safe agents. His career spans academia and industry, from professorships and research roles in Europe to founding KindSoftware and advising startups, demonstrating a rare mix of deep theorem-proving expertise and product-focused delivery. Joseph combines technical leadership with public-minded activism (voting technology and security) and brings PhD-level research rigor from Caltech to real-world high-stakes systems where correctness can mean safety or large financial risk.
23 years of coding experience
12 years of employment as a software developer
BSc Computer Science, BSc Computer Science at Florida State UniversityCalifornia Institute of TechnologyMSc Computer Science, MSc Computer Science at University of Massachusetts Amherst
French, Dutch, Danish, Spanish, English
Stackoverflow
51reputation
2kreached
1answer
0questions
Github Skills (145)
limiting10
fhe10
elections10
risk-assessment10
endpoint-security10
audit10
datalog9
crypto9
instruction-set9
postgresql9
python9
security9
voting-system9
risc9
scripting-language9
Programming languages (18)
Github contributions (5)
kiniry/KindSoftware
Mar 2015 - Mar 2021
Contributions:14 pushes in 6 years 1 month
FreeAndFair/Transparency
Sep 2016 - Nov 2021
Contributions:10 pushes in 5 years 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.