Alumni
| Hal Ashburner - Research Engineer |
|---|
| Hal started out professionally in property development, then moved into economics, investment banking and strategic analysis. The next logical step was clearly Computer Science and Operating System work. Hal now works for a software company. |
| [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] |
| Peter Baumgartner - Principal Researcher |
|---|
| Peter is interested in advancement of automated deduction, in particular first-order logic theorem proving. He is also interested in design of calculi (in particular the Model Evolution calculus), implementations (in particular the Darwin system) and their application for software verification and knowledge representation purposes; exploiting connections into related areas such as logic programming, description logics and nonmonotonic reasoning. |
| [More] |
| Tom Birch - Research Engineer |
|---|
| Virtualisation Microkernels Performance of Virtualised Guests |
| [More] |
| Alex Boulgakov - Summer Students |
|---|
| Alex was a summer student in 2008/2009 working on the battery pack for Sunswift IV. |
| [More] |
| Franck Cassez - Visiting Researcher |
|---|
| Franck's research interests include infinite state systems, semantics of reactive and timed systems, and verification and control of timed systems. |
| [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] |
| 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] |
| Kai Engelhardt - Senior Lecturer, UNSW |
|---|
| Kai's research mostly attempts to refute the third sentence of the following proverb of unknown (?) origin. "The problem with engineers is that they cheat in order to get results. The problem with mathematicians is that they work on toy problems in order to get results. The problem with program verifiers is that they cheat on toy problems in order to get results." |
| [More] |
| Charles Gray - PhD Student and Research Engineer |
|---|
| Microkernels, operating systems, file systems and storage. |
| [More] |
| David Greenaway - Research Engineer |
|---|
| David's research interests include microkernel-based operating systems, embedded virtualisation and task scheduling on single-core and multi-core systems. |
| [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] |
| Michael Norrish - Senior Researcher |
|---|
| Michael is interested in the use of mathematics and logic to help in the specification and development of computer hardware and software. He is interested both in working on specific applications projects in this area, and in the development of tools to make all such projects easier to work on. |
| [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] |
| David Snowdon - PhD Student |
|---|
| Mr Snowdon's research interests include embedded system design and operating system directed power management. His undergraduate thesis involved the design of a telemetry and control system for the UNSW solar powered car, Sunswift. His PhD thesis project has examined power management in the operating system for a reduced energy consumption in servers, laptops and embedded systems. This thesis is the first academic work to examine truly realistic frequency-scaling scenarios. The result is an implementation, called Koala, which, in some circumstances, can save nearly 30% of the energy for a program, with less than 1% loss in performance, simply by choosing the best speed for the computer's processor. In addition, David has been involved in various projects at NICTA, designing the I-Box, a hardware platform for digital video surveillance analysis. |
| [More] |
| Emilia Sotirova - Administrator |
|---|
| [More] |
| Mark Staples - Research Group Manager (Managing Complexity ATP) |
|---|
| Mark's research interests are in software engineering, including software configuration management, software architecture, software product line development, and software process improvement. |
| [More] |
| Harvey Tuch - PhD Student |
|---|
| As a PhD student, Harvey worked on the application of formal verification techniques such as interactive theorem proving to systems software, in particular the L4 microkernel in the context of the L4.verified project. 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] |
| 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] |
| 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] |
| Liming Zhu - Senior Researcher |
|---|
| Liming's research interests include model driven development and software architecture. |
| [More] |