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] |
| Bernard Blackham - Graduate Researcher |
|---|
| Bernard's research interests include worst-case execution time analysis and process checkpointing. |
| [More] |
| Andrew Boyton - Graduate Researcher |
|---|
| Andrew is interested in proving computer programs to work the way that they should. Currently he is proving security properties of the seL4 microkernel and examining how these security properties can be used by systems running on seL4. |
| [More] |
| Aleksander Budzynowski - Research Engineer |
|---|
| Aleksander is interested in many aspects of Operating System design. He enjoys working at the low level, including working on embedded systems, and is also interested in challenging entrenched abstractions. He is intrigued by formal methods. |
| [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 - Thesis Student |
|---|
| [More] |
| Adrian Danis - Thesis 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 - Contractor |
|---|
| 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 - Research Engineer |
|---|
| I am now doing master of math in ANU and working part time in NICTA. My interests including symbolic computation and fourier analysis. I am now working in the l4 Verified group. |
| [More] |
| John Garland - Thesis Student |
|---|
| [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/Part-time Research Engineer |
|---|
| Rafal is interested in the verification of system-level software, particularly software involving virtual memory such as operating systems. He is very interested in separation logic and the possibilities it creates for making this verification task easier. |
| [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 - Research Engineer |
|---|
| Justin's work centers on CAmkES, the Component Architecture for Microkernel Embedded Systems. His ultimate interest is in developing a true modular, farm-of-servers operating system, with performance comparable to modern desktop systems. |
| [More] |
| Corey Lewis - Research Assistant |
|---|
| I am currently studying mathematics at UNSW while working part-time at NICTA. I am part of the L4.verified group and I'm not sure what my research interests are. |
| [More] |
| Godfrey van der Linden - Graduate Researcher |
|---|
| Godfrey is interested in power management of embedded and laptop systems. |
| [More] |
| Simonne Mautner - Undergraduate 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] |
| Toby Murray - Researcher |
|---|
| Toby's research interests broadly concern the application of formal methods to enable the development of secure software. His current research focuses on the formal verification of capability-based systems and software. |
| [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 - Senior 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] |
| 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 computer power management, energy efficiency and processor architecture. He is currently working towards a Masters of Computer Science, focusing on modeling energy efficiency on multi-core platforms. |
| [More] |
| Michael von Tessin - Graduate Researcher |
|---|
| Michael is interested in operating systems, formal verification, multiprocessing, virtualisation, security, cryptography and trusted computing.
His PhD is about formal verification of a multiprocessor version of seL4. |
| [More] |
| Prashant Varanasi - Thesis Student |
|---|
| Prashant is interested in operating systems research, and very interested in embedded devices which require fast, yet very reliable systems. |
| [More] |
| Adam Walker - Graduate Researcher |
|---|
| Adam's interests include microkernel based operating systems and embedded systems. |
| [More] |
| Simon Winwood - Researcher |
|---|
| Simon is interested in software correctness, in particular formally verified systems and language based security. He is currently working on the l4.verified project. |
| [More] |
| Liming Zhu - Senior Researcher |
|---|
| Liming's research interests include model driven development and software architecture. |
| [More] |
| Yanjin Zhu - Thesis Student |
|---|
| Yanjin's research interests include microkernel-based operating systems, reliability, device drivers and software architectures. |
| [More] |