Joseph R. Kiniry (Preferred)
Joseph R. Kiniry
CEO and Chief Scientist, Sigil Logic
Principled CEO and Chief Scientist, Free & Fair, PBC
Principal Researcher, Galois
- Joined January 2026
Names
Emails
****@galois.com (Confirmed)
, ****@gmail.com (Confirmed)
, ****@sigillogic.com (Confirmed)
, ****@freeandfair.us (Confirmed)
Personal Links
Career & Education History
CEO and Chief Scientist
Sigil Logic (sigillogic.com)
2025 – Present
Principled CEO and Chief Scientist
Free & Fair, PBC (freeandfair.us)
2019 – Present
Principal Researcher
Galois (galois.com)
2013 – 2026
Guest Professor
IT University of Copenhagen (itu.dk)
2012 – 2023
Full Professor
Department of Applied Mathematics and Computer Science, Technical University of Denmark (dtu.dk)
2012 – 2013
Associate Professor
IT University of Copenhagen (itu.dk)
2010 – 2012
Lecturer
School of Computer Science and Informatics, University College Dublin (ucd.ie)
2004 – 2010
Postdoc
Radboud University (ru.nl)
2002 – 2004
PhD student
Department of Computer Science, California Institute of Technology (caltech.edu)
1996 – 2002
Advisors, Relations & Conflicts
Coauthor
Daniel Zimmerman
1996 – 2026
PhD Advisor
Jason Hickey
2000 – 2002
Expertise
formal methods
Present
software engineering
Present
hardware engineering
Present
foundations of mathematics
Present
formal verification
Present
model-based engineering
Present
rigorous engineering
Present
security engineering
Present
applied cryptography
Present
safety engineering
Present
generative artificial intelligence
Present
electronic voting
Present