About Me

My name is Omar S. Navarro Leija, PhD. I combine rigorous software engineering with a researcher mindset to solve difficult technical problems. I bring expertise in Linux systems programming, with over 7 years experience with Rust. I am currently living in foggy San Francisco, CA.

I work at Bolt Labs as a senior software engineer developing backend systems for Wallet-as-a-service infrastructure and implementing our cutting-edge distributed cryptographic protocols software library. I am a passionate Rust programmer with advanced knowledge of the language, tooling, best practices, and broader ecosystem.

Research

In 2022, I completed my PhD at the University Of Pennsylvania advised by Prof. Joseph Devietti. I am broadly knowledgeable of: systems programming, software engineering, programming languages, and operating systems.

During my doctoral research I enjoyed engineering software systems to solve practical problems in computing. For example, in Reproducible Containers I pioneered a container abstraction for deterministic program execution, this enabled automatic software reproducible builds. Dissertation: Leveraging System Call Interposition for Low-level Process Manipulation

Here is long list of concepts and technologies I enjoy thinking about: Program tracing and sandboxing (ptrace, seccomp), containerization, deterministic program execution, software builds (build systems, reproducible builds, supply chain attacks), developer tooling, kernel bypass technologies (RDMA, DPDK), virtualization (VMs and hypervisors), programming languages (functional programming, concurrency and parallelism models, compilers), Cuda and GPUs.

See all publications here.

Resume

My Resume can be found here. I can be contacted via the email on my Github Profile.

No AI was used in the making of this site

This website was last updated July 17, 2025