About the talk
Talk by Dr. Joseph Kiniry from hardwear.io
| Hardware Security Conference & Training 2019, USA.
Dr. Joseph Kiniry
Principled CEO and Chief Scientist of Free & Fair
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 educational post was Full Professor and Head of the Software Engineering Section at the Technical University of Denmark. His Ph.D. 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.