People
| Gernot Heiser - Group Leader; UNSW Scientia Professor and John Lions Chair |
|---|
| 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 - Senior Researcher |
|---|
| June's main research interest is in formal verification and certification of software systems, and more precisely in formal proof of correctness and security properties of programs using interactive theorem proving. |
| [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] |
| Nelson BIlling - Research Engineer |
|---|
| [More] |
| Adam Black - Summer Students |
|---|
| [More] |
| Bernard Blackham - Graduate Researcher |
|---|
| Bernard's research interests include worst-case execution time analysis, process checkpointing, and generally messing with executables. |
| [More] |
| Alex Boulgakov - Undergraduate Student |
|---|
| [More] |
| Andrew Boyton - PhD Student |
|---|
| 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] |
| Keng Chai Ong - Summer Students |
|---|
| [More] |
| Hui Chen - Visiting PhD Student / Research Intern |
|---|
| [More] |
| Peter Chubb - Principal Research Engineer |
|---|
| Peter'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 |
|---|
| My current research area is metrics and countermeasures for side-channel leaks in componentized secure systems. My previous research areas include: High-performance architectural simulation, Domain-specific languages, Theorem Prover performance and automation, Kernel development, Verified software |
| [More] |
| Adrian Danis - Research Engineer |
|---|
| [More] |
| Matthias Daum - Researcher |
|---|
| Matthias' research interest is in Formal Methods, more specifically in interactive theorem proving, software verification, and concurrency. |
| [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] |
| David Favaloro - Undergraduate Student |
|---|
| [More] |
| Matthew Fernandez - Graduate Researcher |
|---|
| Matthew's research interests include kernel design, component systems, security, correctness and compiler implementation. |
| [More] |
| Xin Gao - Research Engineer |
|---|
| My interests including symbolic computation and fourier analysis. I am now working in the l4 Verified group. |
| [More] |
| David Greenaway - Graduate Researcher |
|---|
| David's research interests include microkernel-based operating systems, embedded virtualisation, and practical formal verification of C and systems code. |
| [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 - Researcher |
|---|
| 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] |
| Etienne Le Sueur - Systems Administrator & Graduate Researcher |
|---|
| Etienne is interested in computer power management, energy efficiency and processor architecture. He recently completed his Masters of Computer Science in which he provides an analysis of the effectiveness of energy management mechanisms on computer processors. |
| [More] |
| Corey Lewis - Research Engineer |
|---|
| [More] |
| Tran Ma - Research Assistant |
|---|
| [More] |
| Daniel Matichuk - Research Engineer |
|---|
| [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 security properties of capability-based systems and software, in particular information flow security for the seL4 microkernel. |
| [More] |
| Magnus Myreen - Visitors |
|---|
| [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] |
| Dan Padilha - Research Engineer |
|---|
| Dan is a research engineer in the Power Management group. |
| [More] |
| Charith Perera - Undergraduate Student |
|---|
| [More] |
| Alexander Probst - Thesis B |
|---|
| [More] |
| Leonid Ryzhyk - Researcher |
|---|
| Leonid's research interests are centred around the use of formal techniques for building better 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] |
| Yao Shi - Researcher |
|---|
| Yao is interested in operating system analysis, compiler optimizations, concurrent program analysis and software reliability. He was a developer of Open64 compiler and has rich experience on the internals of mainstream compilers. |
| [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] |
| Irving Tjiptowarsono - Research Engineer |
|---|
| Irving is a final year mechatronics undergraduate student. His thesis covers upgrading the Sunswift IV's telemetry system from using the PLEB onto a new custom device. Interests includes solar cars, embedded electronics and electronic control systems. |
| [More] |
| Michael von Tessin - PhD Student |
|---|
| Michael is interested in operating systems, formal verification, multiprocessing, virtualisation, security, cryptography and trusted computing.
His PhD is about formal verification of multiprocessor microkernels. |
| [More] |
| Adam Walker - Graduate Researcher |
|---|
| Adam's interests include microkernel based operating systems and embedded systems. |
| [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] |