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] |
| Peter Chubb - Senior Research Engineer |
|---|
| Dr Chubb's research interests include operating system algorithms for scalability, including scheduling, memory management, and locking. |
| [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. |
| [More] |
| Nicholas Fitzroy-Dale - PhD Student |
|---|
| Nicholas FitzRoy-Dale's research interests include embedded component systems and efficient system mutation using logic languages. |
| [More] |
| Ihor Kuz - Researcher |
|---|
| Dr Kuz's interests include distributed systems, operating systems for embedded systems, and wireless sensor networks. In distributed systems, he is focused on distributed system middleware, supporting services, and management of distributed resources. With regards to operating systems for embedded systems, he is particularly interested in the design of flexible and modular operating systems and support for distributed embedded systems. In this regard he is also interested in system issues relating to wireless sensor network architectures. |
| [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 and Web Administrator |
|---|
| 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] |
| 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] |