Michael McInerney
Senior Proof Engineer
Research Interests
Michael was working on verifying functional correctness for the MCS version of seL4. He is now at Proofcraft.
Contact Details
| Email: | m.mcinerney@unsw.edu.au |
|---|
More contact information is available at the Contact page.