Michael Norrish

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

Lead developer of the HOL theorem-proving system.

[bridged from https://mastodon.sdf.org/@michaeln on the fediverse by https://fed.brid.gy/ ]