People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
Welcome: Welcome. I wear more than one cap these days. I basically divide my time between the following two organisations: I'm a senior lecturer here within the School of Computer ...
Welcome > Research > Publications: Publications. Gerwin Klein, Philip Derrin, and Kevin Elphinstone. Experience report: seL4 — formally verifying a high-performance microkernel.
School of Computer Science and Engineering The University of New South Wales Sydney 2052, Australia : Research Areas : Operating Systems; Microkernels
Welcome > Students > Thesis Guides: Thesis Guides. Here is some material I've produced to help thesis students on their way - be it a Bachelors (honours), Masters, or PhD thesis.
Research Interests. Dr Elphinstone is a senior lecturer at the University of New South Wales. I specialise in teaching operating systems at the undergraduate and postgraduate level.
Welcome > Research > Publications: Publications. Gerwin Klein, Philip Derrin, and Kevin Elphinstone. Experience report: seL4 formally verifying a high-performance ...
Welcome: Welcome. I wear more than one cap these days. I basically divide my time between the following two organisations: I'm a senior lecturer here within the School of ...
Research Interests. Dr Elphinstone is a senior lecturer at the University of New South Wales. I specialise in teaching operating systems at the undergraduate and ...
[PS]
Linkedin
University of New South Wales (Educational Institution; 5001-10,000 employees; Higher Education industry): Senior Lecturer, (2002-Present)
University of K...