Skip to main content

Michael McInerney
Proof Engineer

Research Interests

Michael is learning the techniques to become a proof engineer.

Contact Details

Email:Michael.Mcinerney@data61.csiro.au

More contact information is available at the Contact page.

Served by Apache on Linux on seL4.