AeroLeads people directory · profile
Joseph Kiniry Email & Phone Number
CEO and Chief Scientist
at
Sigil Logic
1 work email found
@acm.org
3 phones found area 503
LinkedIn matched
✓ Verified May 2026
4 data sources
Profile completeness 100%
Who is Joseph Kiniry? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Joseph Kiniry is listed as CEO and Chief Scientist at Sigil Logic, based in Portland, Oregon, United States. AeroLeads shows a work email signal at acm.org, phone signal with area code 503, and a matched LinkedIn profile for Joseph Kiniry.
Joseph Kiniry previously worked as Member of The Board of Advisors at Sequent Tech and Principled CEO and Chief Scientist at Free & Fair. Joseph Kiniry holds Phd, Computer Science from Caltech.
Company email context
Email format at Sigil Logic
This section adds company-level context without repeating Joseph Kiniry's masked contact details.
{last}@acm.org
86% confidence
AeroLeads found 1 current-domain work email signal for Joseph Kiniry. Compare company email patterns before reaching out.
Profile bio
About Joseph Kiniry
I am the CEO and Chief Scientist at Free & Fair and I am a Principal Scientist at Galois in Portland, Oregon.Until 2014 I was a Professor at the Technical University of Denmark and the Head of the Software Engineering Section. I was also a Guest Professor at the IT University of Copenhagen (aka ITU). I have raised in excess of $30M over the past fifteen years in academic and industrial research funding in the EU and the USA.Between Fall 2004 and February 2010 I was a tenured Lecturer in the School of Computer Science and Informatics at the University College Dublin and a founding member of the Complex & Adaptive Systems Laboratory there.I am a Ph.D. graduate of the Department of Computer Science at the California Institute of Technology. I am also an entrepreneur. I have started six companies thus far and I am an independent consultant with over two decades of experience.Specialties: I am interested in formal methods, foundations of mathematics, software engineering, software/system/network security, applied cryptography, distributed systems, programming languages, object-oriented and component-based systems and languages, functional programming, knowledge representation, systems modeling, artificial life, and the many different theoretical underpinnings of computing. In short, I am a Computer Scientist/Mathematician researcher and hacker, in the old sense of the term. I also have been forced to learn way more than I'd like to about blockchains and cryptocurrencies, especially from a formal methods and cryptography point of view.
Listed skills include Computer Science, Software Engineering, Programming, Software Development, and 19 others.
Current workplace
Joseph Kiniry's current company
Company context helps verify the profile and gives searchers a useful next step.
21 roles · 32 years
Joseph Kiniry work experience
A career timeline built from the work history available for this profile.
Member Of The Board Of Advisors
Current
Sep 2021 - Present
Principled Ceo And Chief Scientist
Current
Mar 2016 - Present
Principal Scientist
Current
Jan 2014 - Present
Owner
Current
Kindsoftware
CEO and Chief Scientist. I perform expert witness and high-end IT consultancy in the areas of applied formal methods and information security, particularly for critical systems that must be correct and secure or there is potential loss of life or extreme financial implications.
2000 - Present
~26 yrs 4 mos
Principal Engineer
I help set the technical direction and lead research and engineering on Cryptol.
Jun 2015 - Dec 2016
Professor
I was a Professor at the Technical University of Denmark and the Head of the Software Engineering Section.
Sep 2012 - Dec 2013
Guest Professor
I was also a Guest Professor at the IT University of Copenhagen (aka ITU). There I was a member of the Software Development Group and the Programming, Logic, and Semantics Group. I led the KindSoftware research group, co-led the DemTech research project, and was a part of the VARIES research project.
Sep 2012 - Oct 2013
Associate Professor
I was an Associate Professor at the IT University of Copenhagen (aka ITU) through the end of August 2012. Henceforth I am a Guest Professor at ITU. I am also a member of the Software Development Group, the Programming, Logic, and Semantics Group, an affiliated member of the Center for Computer Games Research, a member of the Software Engineering Cluster.
Feb 2010 - Aug 2012
Senior Researcher
2006 - Jan 2010
Lecturer
I am a lecturer (effectively, an assistant professor holding a permanent post, for those in North America) in the Department of Computer Science at the National University of Ireland, Dublin (aka University College Dublin). I perform research, have students, teach courses, etc.
Oct 2004 - Jan 2010
Lecturer In Computer Science And Informatics
Oct 2004 - Jan 2010
Academic Researcher
Lero
Conducted and managed research in applying formal methods to software product lines.
2005 - 2008
~3 yrs
Visiting Researcher
2005 - 2006
~1 yr
Postdoctoral Scholar
Performed research in software correctness, security, verification, theorem proving, and more.
Oct 2002 - Oct 2004
Postdoctoral Scholar
Dept. Of Computer Science, University Of Nijmegen
2002 - 2004
~2 yrs
Phd Candidate
1996 - 2002
~6 yrs
Senior Consultant; Distributed Systems Architect
Senior Consultant to Sprint's Internet Division; the project that provided nationwide Internet service. Overall technical consulting lead on entire project. The ISP was eventually purchased by Earthlink.
Apr 1996 - May 1996
Senior Software Engineer
Member of the World Wide Web group of the Research Institute. Responsible for a variety of internal papers and reviews and contributions to a range of projects.
Mar 1995 - Nov 1995
Research Software Engineer
Open Software Foundation / Open Group
1994 - 1995
~1 yr
Assistant System Administrator
Jan 1993 - Jul 1994
5 education records
Joseph Kiniry education
Phd, Computer Science
Caltech
Msc, Computer Science
Caltech
Msc, Computer Science
University Of Massachusetts Amherst
Bsc, Computer Science
Florida State University
Bsc, Mathematics
Florida State University
FAQ
Frequently asked questions about Joseph Kiniry
Quick answers generated from the profile data available on this page.
What company does Joseph Kiniry work for?
Joseph Kiniry works for Sigil Logic.
What is Joseph Kiniry's role at Sigil Logic?
Joseph Kiniry is listed as CEO and Chief Scientist at Sigil Logic.
What is Joseph Kiniry's email address?
AeroLeads has found 1 work email signal at @acm.org for Joseph Kiniry at Sigil Logic.
What is Joseph Kiniry's phone number?
AeroLeads has found 3 phone signal(s) with area code 503 for Joseph Kiniry at Sigil Logic.
Where is Joseph Kiniry based?
Joseph Kiniry is based in Portland, Oregon, United States while working with Sigil Logic.
What companies has Joseph Kiniry worked for?
Joseph Kiniry has worked for Sigil Logic, Sequent Tech, Free & Fair, Galois, Inc., and Kindsoftware.
How can I contact Joseph Kiniry?
You can use AeroLeads to view verified contact signals for Joseph Kiniry at Sigil Logic, including work email, phone, and LinkedIn data when available.
What schools did Joseph Kiniry attend?
Joseph Kiniry holds Phd, Computer Science from Caltech.
What skills is Joseph Kiniry known for?
Joseph Kiniry is listed with skills including Computer Science, Software Engineering, Programming, Software Development, Algorithms, Distributed Systems, Artificial Intelligence, and Latex.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial