Adrian Danis
Software Engineer at Google
Sydney, New South Wales, Australia
Summary
🤩
Rockstar🎓
Top SchoolAdrian Danis is a seasoned software engineer based in Sydney with 11 years of experience building low-level systems and backend infrastructure, currently working at Google. He brings deep expertise in OS and firmware-level programming from long-term work on the seL4 microkernel and contributions to the popular uefi-rs Rust crate, including memory-management and UEFI memory map implementations. Adrian's background at CSIRO Data61 and NICTA reflects a strong research-to-production trajectory in embedded and real-time operating systems. He has a track record of pragmatic problem solving—implementing hardware errata workarounds and refactoring complex paging and mapping logic—to make systems robust across architectures. Colleagues describe him as quietly rigorous: he prefers tackling the subtle, architecture-specific bugs that most engineers avoid, turning brittle platform features into reliable foundations.
12 years of coding experience
8 years of employment as a software developer
UNSW Sydney
Github Skills (17)
uefi10
paging10
assembly10
memory-management10
c-programming10
osdev10
assembler10
arm10
rust10
operating-system10
data-structure9
system-programming9
microkernel9
low-level9
low-level-programming9
Programming languages (7)
Github contributions (5)
seL4/seL4
Jul 2014 - May 2018
The seL4 microkernel
Role in this project:
Back-end Developer
Back-end DeveloperContributions:522 commits, 4 PRs, 67 pushes in 3 years 10 months
Contributions summary:Adrian's contributions primarily involve low-level system programming tasks related to the seL4 microkernel. They implemented workarounds for hardware errata on ARM Cortex-A15 boards and moved related errata checking to C code. They also integrated features for enabling the Hypervisor (HYP) mode and refactored code for memory management including adding support for various paging structures, mapping, and unmapping. The user modified and added code related to different architecutre specific details to make the operating system functional, with memory management being the main focus.
microkernelsel4sel4-microkernelos
rust-osdev/uefi-rs
Apr 2018 - Apr 2018
Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe, convenient, and performant abstractions for UEFI functionality.
Role in this project:Back-end Developer
Back-end DeveloperContributions:5 commits, 1 PR, 1 comment in 1 day
Contributions summary:Adrian contributed to the `uefi-rs` repository by implementing and refining core functionalities related to the UEFI standard. Their work involved implementing the `get_memory_map` function, a crucial component for interacting with UEFI boot services. The user further enhanced the code by implementing the `Default` trait for `MemoryDescriptor` and adding padding to match the UEFI specification, improving the usability and compatibility of the library. They also provided derived traits for `MemoryDescriptor`.
cratefirmwarerustuefiosdev
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.