Joe Kiniry has recently joined Galois as a Principal Investigator. He was previously an academic in Europe for twelve years, most recently a Full Professor at the Technical University of Denmark. He has extensive experience in formal methods, high-assurance software engineering, foundations of computer science and mathematics, and information security. Specific areas that he has worked in include software verification foundations and tools, digital election systems and democracies, smart-cards, smart-phones, critical systems for nation states, and CAD systems for asynchronous hardware.
Joe is really excited to be working at Galois. He has been a fan of Galois, as it is a darling of the formal methods community, for many years. "Galois is full of super-sharp researchers and engineers doing really interesting work on hard problems. I look forward to furthering the Galois mission of applying formal methods for good."
Read more about Joe here.