People
| Gernot Heiser - Senior Principal Researcher & Group Manager |
|---|
| Gernot's main research interests are in operating systems, especially microkernel-based systems, and their use in embedded systems, virtualization and security. 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] |
| Dhammika Elkaduwe - PhD Student |
|---|
| Mr Eldakuwe is a ME student in NICTA's Embedded, Real-Time, and Operating Systems program. He is interested in the development of secure embedded kernels. |
| [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] |
| Stefan M. Petters - Senior Researcher |
|---|
| The research interests of Dr. Petters include real-time and embedded systems in general; worst case execution time analysis; schedulability analysis; compiler support for predictable real-time systems; probabilistic timing analysis; power aware and reconfigurable computing. |
| [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 & Research Assistant |
|---|
| 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 |
|---|
| Formal Verification of a Multiprocessor Microkernel |
| [More] |
| Shehjar Tikoo - Research Engineer |
|---|
| Shehjar Tikoo graduated from the University of New South Wales in 2006 with a master's degree in Computer Science. At present, he's a Research Engineer in the Gelato Program at UNSW's Embedded, Real-Time, and Operating Systems Group. His research focuses on Network File System performance, benchmarking tools, traffic analysis and Linux kernel scalability in general. |
| [More] |
| Simon Winwood - Research Engineer |
|---|
| 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] |
| Patryk Zadarnowski - Research Engineer |
|---|
| My main research interest is in the area of logical foundations of computation, programming languages and type systems, static program analysis and compiler verification. |
| [More] |