GET IN TOUCH
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
Joe Kiniry
Principal Scientist
Background
Dr. Kiniry is a Principal Scientist at Galois and mainly resides in the Rigorous Digital Engineering Research Area. He also contributes to, and leads projects related to, all other Galois Research Areas. Dr. Kiniry is also the Principled CEO and Chief Scientist of Free & Fair, a Galois spin-out focusing on high-assurance elections technologies and services.
Prior to joining Galois in 2014, Dr. Kiniry was a Full Professor at the Technical University of Denmark (DTU). There, he was the Head of DTU's Software Engineering section. Dr. Kiniry also held a guest appointment at the IT University of Copenhagen. Between 2002 and 2013, he held permanent positions at four universities in Denmark, Ireland, and The Netherlands.
Dr. Kiniry has 25 years of experience in the design, development, support, and auditing of supervised and internet/remote electronic voting systems. He co-led the DemTech research group at the IT University of Copenhagen and has served as an adviser to the Dutch, Irish, and Danish governments in matters relating to electronic voting. He now advises the U.S. government on these matters.
His primary research interest is in applying formal methods to systems development (hardware, firmware, and software), especially in the areas of system correctness and security.
Dr. Kiniry has been on over 60 program committees for top international venues. He has been a keynote speaker a dozens of those conferences as well. He is a Senior member of the IEEE and ACM.
He is an entrepreneur and has founded and/or worked closely with a number of early-stage companies, raising several million dollars in angel funding. He has raised over $100M in basic and applied research funding from national agencies in the U.S.A., Europe, and the European Commission. He has organized around a dozen tutorials and workshops on security and language issues at major conferences such as ETAPS, FM, ESEC/FSE, TOOLS, ECOOP, and OOPSLA. He holds five advanced degrees, including a Ph.D. from Caltech.
