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.