
Anna Lyons Senior Research Engineer 
Anna is a senior engineer on the seL4 team, taking the role after completing her PhD on the mixedcriticality API and design for seL4. Anna is dedicated to bringing seL4 to the world, by building a strong team of engineers who together build a great platform and community.



Corey Lewis Research Engineer 
Corey's research interests include formal methods, functional programming and program verification. He is also interested in mathematically analysing graph models of large real world networks. 


Curtis Millar OS Engineer; Casual Academic 
Curtis is interested in improving systems level security through advancements in platform architecture, tooling, and education. 


Ed Pierzchalski Proof Engineer 
Ed is a proof engineer working on extending the seL4 proof to more architectures. 


Ihor Kuz Principal Research Engineer; Conjoint Associate Professor, UNSW 
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, as well as security and safety properties of such systems. In distributed systems, he is interested in distributed system middleware, supporting services, and management of distributed resources. 


Japheth Lim Proof Engineer 
Japheth is interested in automation for software verification. He aims to provide the proof engineering projects in Trustworthy Systems with fast and reliable proof algorithms. 


Joel Beeren Research Engineer 
Joel's research interests include the application of formal mathematical principles (especially number theoretic concepts) to computing design, as well as the use of formal methods in operating systems. 


Kent Mcleod Research Engineer 
Kent is mostly concerned with lowlevel operating systems and drivers. 


Kofi Doku Atuah OS Engineer 
Microkernels, Drivers, Scalability, Realtime. Kofi cares about coordinating the currently disjoint world of drivers, and unifying the Free and Open Source world and strengthening opensource Operating Systems' ability to work with hardware vendors to get the drivers they need. 


Liam O'ConnorDavis Research Engineer 
Liam is interested in Programming Languages and Systems, Type Theory, Category Theory, Concurrent and Distributed Systems, Functional Programming and Formal Verification. 


Luke Mondy System Administrator/Computer Systems Support Officer 
Luke is a systems administrator and research support tech for the Trustworthy Systems group.
He is also currently completing a PhD in computational geodynamics. 


Matthew Brecknell Proof Engineer 
Matthew is interested in formal verification of software, using mechanised theorem provers. His current challenge is figuring out how to rapidly, yet sustainably evolve large bodies of existing proofs to meet new requirements. 


Michael Sproul Proof Engineer 
Michael is working on CakeML and seL4 verification as part of the CASE project. 


Miki Tanaka Senior Research Engineer 
Miki is mainly interested in formal verification techniques and their application to software systems. 


Mitchell Buckley Proof Engineer 
Mitchell has a formal education in mathematics and a research background in category theory, Hopf algebra and formalised mathematics. He now writes proofs that verify functional correctness of the seL4 microkernel. 


Pang Luo Proof Engineer 
Pang's interests include formal verification and software engineering. 


Partha Susarla Ajay OS Engineer 
Partha's research interests include Operating Systems, File Systems, Multimedia codecs and Distributed computing. 


Peter Chubb Principal Research Engineer; Conjoint Senior Lecturer, UNSW 
Peter's research interests include operating system algorithms for scalability, especially storage, scheduling, memory management, and locking. He is also interested in systems performance measurement and optimisation. His main expertise is in Unix and Linux kernels, and low level system support built on these. He contributes to lowlevel opensource systems tools like QEMU and UBoot as needed for TS projects.



Rafal Kolanski Senior Research Engineer 
Rafal is interested in the formal verification of high assurance, systemlevel software, both from the perspective of verification in practice, but also proof maintenance and increasing the proof coverage of already verified systems. 


Siwei Zhuang Research Engineer 
Operating System internals, Device drivers and Embedded System Architecture. 


Vincent Jackson Proof Engineer 
Vincent is interested in proof theory, type theory, and theorem proving. 


Zilin Chen Research Engineer; PhD Student, UNSW 
Functional programming, type theory, compilers, Embedded DSLs. 
