By proceeding, you agree to our Terms of Use and Privacy Policy.
Matthew Brecknell is an esteemed proof engineer and accomplished technical leader, boasting extensive expertise in the realm of formal specification and verification of practical software, notably the seL4 microkernel. With a robust background in software engineering and adept project leadership, I am recognized as a prominent figure within the Australian functional programming community. I am poised to contribute significantly to your endeavors, aiding in the creation of systems that prioritize safety, efficiency, maintainability, and a delightful user experience.
Talks About #parallelcomputing #research #programming
Preferred Locations #Oceania