The University of New South Wales

Michael McInerney
Senior Proof Engineer

Research Interests

Michael is currently working on verifying functional correctness for the MCS version of seL4.

Contact Details

Email:m.mcinerney@unsw.edu.au

More contact information is available at the Contact page.

Projects

Past