Michael Norrish
Michael Norrish has been associated with 4 events and is frequently seen with Konrad Slind, Peter Sewell and Keith Wansbrough. Michael's main research interests are theorem proving, reasoning and programming languages.
Are you Michael Norrish? Then click the "Claim!" button to claim ownership of this page. (You will be asked to sign up and log in first.)
If you happen to know who this is, you can send Michael an invitation:
The owner of this page can edit his or her biography, post whiteboard entries, and get a personalized deadline calendar.
tracker for Michael Norrish
August 4, 2008
3rd informal ACM SIGPLAN workshop on mechanizing metatheory (WMM 2008) was added.
- People: Michael Norrish
August 31, 2007
5th asian symposium on programming languages and systems (APLAS 2007) was added.
- People: Michael Norrish
July 24, 2007
3rd international workshop on systems software verification (SSV 2008) was added.
- People: Michael Norrish
Facts
Unable to load Flash content. The YUI Charts Control requires Flash Player 9.0.45 or higher. You can download the latest version of Flash Player from the Adobe Flash Player Download Center.