Joseph Kiniry, Ph.D is a Principal Scientist at Galois. He is also the Principled CEO and Chief Scientist of the public benefit corporation Free & Fair. Joe has held permanent positions at four universities, most recently a Full Professor and Head of the Software Engineering Section at the Technical University of Denmark. Specific areas that he has worked in include software verification foundations and tools, digital election systems and democracies, cryptography, smart-cards, smart-phones, critical systems for nation-states and national security, hardware security, and CAD systems for asynchronous hardware design. He has around twenty years of experience in the design, development, support, and auditing of supervised and internet/remote electronic voting systems.