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 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] |
| Dean Berwick - Summer Student |
|---|
| Anything with interesting design solutions. - Search - Game Design |
| [More] |
| Bernard Blackham - Graduate Researcher |
|---|
| Bernard's research interests include worst-case execution time analysis and process checkpointing. |
| [More] |
| Andrew Boyton - Graduate Researcher |
|---|
| [More] |
| Aleksander Budzynowski - Summer Student |
|---|
| [More] |
| Aaron Carroll - Graduate Researcher |
|---|
| Aaron works on operating-system-level approaches to power management, particularly on embedded, mobile and multi-core systems. He is also interested in applications of I/O scheduling on modern storage hardware. |
| [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] |
| Peter Chubb - Principal Research Engineer |
|---|
| Dr Chubb's research interests include operating system algorithms for scalability, including storage, scheduling, memory management, and locking. He is also interested in systems performance measurement and optimisation.
Related hobbies include music, photography and fine wines, these also occasionally lead to research. |
| [More] |
| David Cock - Graduate Researcher |
|---|
| David is interested in high-performance architectural simulation, Domain-specific languages, Theorem Prover performance and automation, Kernel development, Verified software |
| [More] |
| Matthew Conolly - Summer Student |
|---|
| [More] |
| Adrian Danis - Summer Student |
|---|
| [More] |
| Kevin Elphinstone - Senior Researcher |
|---|
| Dr Elphinstone is a senior lecturer at the University of New South Wales. I specialise in teaching operating systems at the undergraduate and postgraduate level. My courses have a reputation for being extremely challenging and rewarding. See COMP3231 http://cgi.cse.unsw.edu.au/~cs3231/ and COMP9242 http://www.cse.unsw.edu.au/~cs9242/ for details. I'm seconded to NICTA where I work within the ERTOS group leading and contributing to various world-class operating systems research projects. Dr Elphinstone's main research interests lie 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 secure embedded operating systems suitable for formal verification, and for being the basis of secure systems for embedded devices. He also has interests in componentised operating systems (and operating systems in general), security, real-time systems, computer architecture as it pertains to operating systems, and virtualisation. Dr Elphinstone has been involved in architecting several operating systems including being the chief architect of the seL4 microkernel; a member of L4Ka microkernel team, an architect of the SawMill multi-server OS, and the Mungi single address space OS. |
| [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] |
| Nicholas Fitzroy-Dale - Graduate Researcher |
|---|
| Nicholas FitzRoy-Dale's research interests include embedded component systems, and domain-specific and high-level optimisation of embedded systems in general. |
| [More] |
| Xin Gao - Staff |
|---|
| [More] |
| John Garland - Summer Student |
|---|
| [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] |
| Gerwin Klein - Principal 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] |
| Rafal Kolanski - Graduate Researcher |
|---|
| [More] |
| Alex Kouzemtchenko - Summer Student |
|---|
| [More] |
| Ihor Kuz - Senior Researcher |
|---|
| Ihor'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] |
| Justin King Lacroix - Summer Students |
|---|
| [More] |
| Corey Lewis - Staff |
|---|
| [More] |
| Godfrey van der Linden - Graduate Researcher |
|---|
| Godfrey is interested in power management of embedded and laptop systems. |
| [More] |
| Simonne Mautner - Summer Student |
|---|
| [More] |
| Balachandra Mirla - Graduate Researcher |
|---|
| He is working on the Automatic Device Driver Synthesis project. He is currently looking at ways to build a compiler which would compile HDLs such as Verilog and VHDL into an intermediate form which could then be used to synthesize the driver. |
| [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] |
| Leonid Ryzhyk - Researcher |
|---|
| Leonid's research interests include microkernel-based systems, operating system reliability, formal methods and their application to operating systems. |
| [More] |
| Thomas Sewell - Research Engineer |
|---|
| Thomas is interested in program verification, programming languages and operating systems. Specific interests include language semantics, refinement calculi, interactive theorem provers and proof automation approaches. |
| [More] |
| Rupert Shuttleworth - Summer Student |
|---|
| [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] |
| Etienne Le Sueur - Systems Administrator & Graduate Researcher |
|---|
| 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 - Graduate Researcher |
|---|
| Michael is interested in Operating Systems, Formal Verification, Multiprocessing, Virtualisation, Security, Trusted Computing
PhD Topic: Formal Verification of a Multiprocessor Microkernel |
| [More] |
| Prashant Varanasi - Research Assistant |
|---|
| Prashant is interested in operating systems research, and very interested in embedded devices which require fast, yet very reliable systems. |
| [More] |
| Adam Walker - Research Engineer |
|---|
| [More] |
| Simon Winwood - Graduate Researcher |
|---|
| 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] |
| Liming Zhu - Senior Researcher |
|---|
| Liming's research interests include model driven development and software architecture. |
| [More] |
| Yanjin Zhu - Research Engineer |
|---|
| Yanjin's research interests include microkernel-based operating systems, reliability, device drivers and software architectures. |
| [More] |