Suggestions
Joseph Kiniry
Principal Scientist at Galois, Inc.
Joseph Kiniry is a prominent figure in the field of computer science and currently serves as a Member of The Board of Advisors at Sequent Tech since September 2021. He is also the CEO and Chief Scientist at Free & Fair and a Principal Scientist at Galois, Inc., both roles he has held since 2014 and 2016, respectively.
Academic and Professional Background
Dr. Kiniry has an extensive academic background, having previously been a Professor at the Technical University of Denmark, where he led the Software Engineering section. He has also held positions at the IT University of Copenhagen and University College Dublin. His research primarily focuses on formal methods in systems development, particularly concerning security and correctness in hardware, firmware, and software systems.
He has contributed significantly to the field of electronic voting systems, advising various governments on secure voting technologies and leading notable projects in this area. Dr. Kiniry has raised over $30 million in funding for research projects across the U.S. and Europe and has founded or co-founded several companies, showcasing his entrepreneurial spirit.
Research Interests and Contributions
His specializations include applied cryptography, distributed systems, programming languages, and software engineering. He is recognized for his work in high-assurance systems, particularly in the context of elections and secure hardware design. Dr. Kiniry holds a Ph.D. from the California Institute of Technology and has published extensively in various scientific journals and conferences.
Overall, Joseph Kiniry's career reflects a blend of academic excellence, research innovation, and practical application in the tech industry, particularly in enhancing the security and integrity of software systems and electoral processes.12