Dr. Joseph Kiniry is a Principal Scientist at Galois and the Principled CEO and Chief Scientist of Free & Fair. He has been a tenured academic at four universities in three countries. His last academic post was Full Professor and Head of the Software Engineering Section at the Technical University of Denmark. His PhD is from the California Institute of Technology. Joe has extensive experience in formal methods, high-assurance systems engineering, foundations of computer science and mathematics, and information security. Specific areas that he has worked in include software, firmware, and hardware verification foundations and tools, digital election systems and democracies, cryptography, and asynchronous hardware design. He has advised several nations on matters related to nationally critical infrastructure and national security, especially with regards to elections.