About Michael Norrish

Associate Professor at the Australian National University’s School of Computing.

Lead developer of the HOL theorem-proving system.

Lists

Timeline

{username} has no activity yet