Joseph Kiniry work email
- Valid
- Valid
- Valid
Joseph Kiniry personal email
Joseph Kiniry phone numbers
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.
-
Ceo And Chief ScientistSigil LogicPortland, Or, Us -
Member Of The Board Of AdvisorsSequent Tech Sep 2021 - Present -
Principled Ceo And Chief ScientistFree & Fair Mar 2016 - Present -
Principal ScientistGalois, Inc. Jan 2014 - PresentPortland, Or, Us -
OwnerKindsoftware 2000 - PresentCEO 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.
-
Principal EngineerFormaltech Inc Jun 2015 - Dec 2016Portland, Or, UsI help set the technical direction and lead research and engineering on Cryptol. -
ProfessorTechnical University Of Denmark Sep 2012 - Dec 2013Lyngby, Hovedstaden, DkI was a Professor at the Technical University of Denmark and the Head of the Software Engineering Section. -
Guest ProfessorIt University Of Copenhagen Sep 2012 - Oct 2013Copenhagen S, DkI 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. -
Associate ProfessorIt University Of Copenhagen Feb 2010 - Aug 2012Copenhagen S, DkI 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, and a member of the Models research group. I lead the KindSoftware research group. I was also a member of the IT Group for ITU which sets strategy, goals, and priorities for IT infrastructure and support for the university. Finally, I was a member of the ITU Board of Directors, which is the superior authority for the university.
-
Senior ResearcherLero - The Irish Software Engineering Research Centre 2006 - Jan 2010Limerick, Munster, Ie -
LecturerUniversity College Dublin Oct 2004 - Jan 2010Dublin, Dublin, IeI 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. -
Lecturer In Computer Science And InformaticsUniversity College Dublin Oct 2004 - Jan 2010Dublin, Dublin, Ie
-
Academic ResearcherLero 2005 - 2008Conducted and managed research in applying formal methods to software product lines.
-
Visiting ResearcherKansas State University 2005 - 2006Manhattan, Ks, Us -
Postdoctoral ScholarUniversity Of Nijmegen Oct 2002 - Oct 2004Nijmegen, Gelderland, NlPerformed research in software correctness, security, verification, theorem proving, and more. -
Postdoctoral ScholarDept. Of Computer Science, University Of Nijmegen 2002 - 2004
-
Phd CandidateCalifornia Institute Of Technology 1996 - 2002Pasadena, Ca, Us -
Senior Consultant; Distributed Systems ArchitectSprint Multimedia/Internet Division Apr 1996 - May 1996Overland Park, Kansas, UsSenior 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. -
Senior Software EngineerOpen Software Foundation (Osf) = Open Group = Tog Mar 1995 - Nov 1995Member 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. -
Research Software EngineerOpen Software Foundation / Open Group 1994 - 1995
-
Assistant System AdministratorUniversity Of Massachusetts, Amherst Jan 1993 - Jul 1994Amherst, Massachusetts, Us
Joseph Kiniry Skills
Joseph Kiniry Education Details
-
CaltechComputer Science -
CaltechComputer Science
-
University Of Massachusetts AmherstComputer Science
-
Florida State UniversityComputer Science
-
Florida State UniversityMathematics
Frequently Asked Questions about Joseph Kiniry
What company does Joseph Kiniry work for?
Joseph Kiniry works for Sigil Logic
What is Joseph Kiniry's role at the current company?
Joseph Kiniry's current role is CEO and Chief Scientist.
What is Joseph Kiniry's email address?
Joseph Kiniry's email address is ki****@****acm.org
What is Joseph Kiniry's direct phone number?
Joseph Kiniry's direct phone number is +150362*****
What schools did Joseph Kiniry attend?
Joseph Kiniry attended Caltech, Caltech, University Of Massachusetts Amherst, Florida State University, Florida State University.
What are some of Joseph Kiniry's interests?
Joseph Kiniry has interest in Systems Modeling, In The Old Sense Of The Term, Distributed Systems, Artificial Life, Knowledge Representation, (End To End) Electronic Voting Systems, Software/system/network Security, I Am Interested In Formal Methods, Foundations Of Mathematics, Software Engineering.
What skills is Joseph Kiniry known for?
Joseph Kiniry has skills like Computer Science, Software Engineering, Programming, Software Development, Algorithms, Distributed Systems, Artificial Intelligence, Latex, Machine Learning, Java, Lecturing, Software Project Management.
Free Chrome Extension
Find emails, phones & company data instantly
Aero Online
Your AI prospecting assistant
Select data to include:
0 records × $0.02 per record
Download 750 million emails and 100 million phone numbers
Access emails and phone numbers of over 750 million business users. Instantly download verified profiles using 20+ filters, including location, job title, company, function, and industry.
Start your free trial