People
| Gernot Heiser - Senior Principal Researcher & Group Leader |
|---|
| Gernot's main research interests are in operating systems, especially microkernel-based systems, and their use in embedded systems, OS security and robustness issues, power management and virtualization. Other interests include computer architecture, especially architectural support for operating systems. |
| [More] |
| June Andronick - Researcher |
|---|
| June's research interests include formal verification of correctness and security properties of embedded software. |
| [More] |
| Peter Chubb - Senior Research Engineer |
|---|
| Dr Chubb's research interests include operating system algorithms for scalability, including scheduling, memory management, and locking. |
| [More] |
| David Cock - Research Engineer |
|---|
| High-performance architectural simulation, Domain-specific languages, Theorem Prover performance and automation, Kernel development, Verified software |
| [More] |
| Philip Derrin - Research Engineer |
|---|
| Philip is a research engineer working on the seL4 project, which aims to develop a specification for a new secure microkernel as a successor to L4. His research interests include the construction of secure systems, and rapid prototyping and formalisation of microkernels in functional languages. |
| [More] |
| Kevin Elphinstone - Senior Researcher |
|---|
| Dr Elphinstone's main research interest lies in the area of operating systems, specifically small operating system kernels and the infrastructure required to support larger systems upon them. His current focus includes user-level device drivers, and the construction of small, secure operating systems to form the basis of future embedded devices. He also has interests in security and computer architecture. Dr Elphinstone has been involved in architecting several operating systems, including L4Ka, and the SawMill multi-server OS. Further details can be found on his web page. |
| [More] |
| Nicholas Fitzroy-Dale - PhD Student |
|---|
| Nicholas FitzRoy-Dale's research interests include embedded component systems and efficient system mutation using logic languages. |
| [More] |
| Gerwin Klein - Senior Researcher |
|---|
| Gerwin's research interest is in Formal Methods, more specifically in interactive theorem proving, software verification, and semantics of programming languages. Generally, he wants software systems to be dependable, and thinks that formal specification and proof can make a very significant contribution towards that goal. |
| [More] |
| Ihor Kuz - Senior Researcher |
|---|
| Dr Kuz's research interests include operating systems and distributed systems. With regards to operating systems, he focuses on the design of flexible and modular operating systems. In distributed systems, he is interested in distributed system middleware, supporting services, and management of distributed resources. |
| [More] |
| Godfrey van der Linden - Ph.D. Student |
|---|
| Power management of embedded and laptop systems. |
| [More] |
| Leonid Ryzhyk - PhD Student |
|---|
| Leonid's main areas of interest are microkernel-based operating systems and operating system support for fault tolerance |
| [More] |
| Thomas Sewell - Research Engineer |
|---|
| Thomas is currently interested in formal verification tools and processes, system code verification, language semantics and formalisation, file system design and virtual file systems. |
| [More] |
| David Snowdon - PhD Student |
|---|
| Mr Snowdon's research interests include embedded system design and operating system directed power management. His PhD thesis project is on operating system directed power management, while his undergraduate thesis involved the design of a telemetry and control system for the UNSW solar powered car, Sunswift. |
| [More] |
| Etienne Le Sueur - Systems Administrator & ME Student |
|---|
| Etienne is interested in power management, and is working with Dave Snowdon to implement his power management ideas on some of the servers that are run at ERTOS. |
| [More] |
| Michael von Tessin - PhD Student |
|---|
| Operating Systems, Formal Verification, Multiprocessing, Virtualisation, Security, Trusted Computing PhD Topic: Formal Verification of a Multiprocessor Microkernel |
| [More] |
| Simon Winwood - PhD Student |
|---|
| Mr Simon Winwood is a PhD student. His primary research interest is the the interaction between operating system protection mechanisms and the security properties enforced by programming languages. He is also interested in formal models of security and machine-aided theorem proving. He is also currently working as a research engineer on the L4.verified project. |
| [More] |