Alumni
| Hal Ashburner - Research Engineer |
|---|
| Hal's interests include User level device drivers. Secure access to hardware via a minimal trusted computing base simultaneously with support for legacy acess via a monolithic operating system existing on top of a micro kernel. |
| [More] |
| Andrew Baumann - PhD Student |
|---|
| Andrew's research interests include dynamic update and hot-swapping, and component- and microkernel-based operating systems. His primary focus is the development and application of dynamic update techniques to operating systems. |
| [More] |
| Tom Birch - Research Engineer |
|---|
| Virtualisation Microkernels Performance of Virtualised Guests |
| [More] |
| Matthew Chapman - PhD Student |
|---|
| Mr Chapman's research interests include computer architectures, embedded systems, operating systems and virtual machines. His thesis involves developing a virtual machine monitor for the Itanium architecture, with a number of novel features. |
| [More] |
| Lester Cheung - Systems and Web Administrator |
|---|
| Lester has a passion to get open source software to work in a research/commercial environment. He is also interested in network security and software engineering. |
| [More] |
| Paul Davies - Research Engineer |
|---|
| Page Tables. Introduing a clean page table interface into Linux to enable different kinds of page tables in linux. Superpage support in Linux on IA64 making use of a GPT/LPC page table. |
| [More] |
| Charles Gray - PhD Student and Research Engineer |
|---|
| Microkernels, operating systems, file systems and storage. |
| [More] |
| Geoffrey Lee - Research Engineer |
|---|
| Geoff's current research interests include microkernels and user-level device drivers. |
| [More] |
| Ben Leslie - Research Engineer |
|---|
| Mr Leslie's primary research interest is increasing the reliability of operating systems by exploring the performance of user-level device drivers. He is also researching the use of existing operating systems on top of the L4 microkernel. |
| [More] |
| Luke Macpherson - PhD Student |
|---|
| Overloaded systems & Admission control Network protocol stacks Device drivers |
| [More] |
| David Mirabito - Research Engineer |
|---|
| David's interests are in the practical aspects of implementing commercial operating systems. |
| [More] |
| Daniel Potts - PhD Student |
|---|
| Distributed systems, mircokernels, embedded control systems. |
| [More] |
| Malcolm Purvis - Research Engineer |
|---|
| [More] |
| Felix Rauch - Researcher |
|---|
| Dr Rauch Valenti's research interests include operating systems, distributed storage systems and parallel and distributed systems like clusters of PCs. His focus is on the performance and efficiency of these systems. |
| [More] |
| Timothy Roscoe - Visitor |
|---|
| Mothy is broadly interested in operating systems, distributed systems, and networks. His current interests include building distributed applications using declarative queries and software dataflow, and efficient execution of software dataflow graphs directly inside virtual machines. |
| [More] |
| Carl van Schaik - Research Engineer |
|---|
| Mr Carl van Schaik's research interests span embedded systems, operating systems, microkernels, hardware design, embedded high speed communication, and logic design. Embedded systems covers a range of topics including designing systems with power usage considerations; modular and extendable hardware and software; and reliability. Microkernels provide a way of designing modular, scalable, and reliable operating systems. Mr van Schaik's research is currently focused on various aspects of microkernel design and performance as well as virtualisation of legacy operating systems in a mostly platform-independent way. He is interested in modular embedded systems and has worked on projects integrating multiple programmable embedded modules with hot-pluggable high-speed communication channels. An interest in high-speed embedded communication ties in with his interest in logic design, which is mainly focused on developing custom systems using programmable logic devices. |
| [More] |
| Rita Shen - Research Engineer |
|---|
| Ms Rita Shen is a research enginner. Her research interests include data communication; microkernel and single-address-space operating systems; and user lever device drivers. |
| [More] |
| Emilia Sotirova - Administrator |
|---|
| [More] |
| Harvey Tuch - PhD Student |
|---|
| Mr Tuch's primary research interest is the application of formal verification techniques such as interactive theorem proving to systems software, in particular the L4 microkernel. Other research interests include computer architecture, embedded systems and security. |
| [More] |
| Matthew Warton - Research Engineer |
|---|
| My primary research interests are the performance and memory footprint of micro-kernels and micro-kernel based systems. |
| [More] |
| Alex Webster - Research Engineer |
|---|
| Alex's research interests include operating systems and microkernels, especially for embedded systems. |
| [More] |
| Andrew White - Researcher |
|---|
| Mr Andrew White is a researcher. He specialises in system analysis, architecture, and design, and is applying these skills to the development of infrastructure for the Digital Audio Networking project. In addition to networking, IP, and system architecture, Andrew is interested in programming language design and computer science education. |
| [More] |
| Ian Wienand - Masters Student |
|---|
| Superpages |
| [More] |
| Adam Wiggins - PhD Student |
|---|
| My main area of interest/research is architecture and kernel co-design toward fine-grained memory access-control. The motivation for this is to provide a building block for secure, fine-grained components from which we can construct software with highly levels of assurance. |
| [More] |
| Aidan Williams - Researcher |
|---|
| Mr Aidan Williams is a principal research engineer, focussing his efforts on the Digital Audio Networking project. His active research interests include digital audio networking, and new L2/L3 bridging protocols (rbridge). Other research interests include home networking, IPv6, zeroconf protocols, computer and network security, cryptographic techniques, intrusion detection, computer architecture, and operating systems. |
| [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. |
| [More] |
| Varuni Witana - Researcher |
|---|
| Dr Varuni Witana joined NICTA as a senior researcher in February 2004. She is attached to the Embedded, Real-Time & Operating Systems (ERTOS) program and is currently working on the Digital Audio Networking project. Her active research interests include digital audio networking, precision networked clock synchronization. Other research interests include 802.11 wireless networking and multimedia communications. |
| [More] |