GET IN TOUCH
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
Daniel Matichuk
Research Engineer
Background
Daniel received his undergraduate degree in Computer Science from the University of Alberta before working as a research engineer on the seL4 microkernel verification project (https://ts.data61.csiro.au/projects/seL4-verification/). He then completed his PhD at the University of New South Wales, where he developed a framework for using automated reasoning to assist in building Isabelle proofs at scale.
At Galois, Daniel has been developing on a formal semantics of the Aarch32 ARM architecture for binary analysis, and more recently has started work on increasing the assurance level of verified Dafny programs.
