About Me
My name is Omar S. Navarro Leija, PhD. I am a software engineer and researcher with broad interests in systems programming, software engineering, programming languages, and operating systems. 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 cryptographic code for threshold-based elliptic curve signing (MPC TSS-ECDSA).
I have over 5 years of experience with the Rust programming language. I consider myself an advanced Rust user, with thorough knowledge of the language, tooling, and library ecosystem.
Research
In 2022, I completed my PhD at the University Of Pennsylvania advised by Prof. Joseph Devietti.
My doctoral research leveraged deterministic program execution for solving various software problems. For example, in Reproducible Containers we create a container abstraction where all computation is guaranteed to be deterministic. This enables automatic reproducible builds.
Here is a way too long list of technologies and concepts I have worked with and enjoy thinking about: Program tracing and sandboxing (eBPF, ptrace, seccomp), containerization, deterministic program execution, concurrency and parallelism, functional programming, developer tools, kernel bypass technologies (RDMA, DPDK), virtualization (VMs and hypervisors), GPUs.
See all publications here.
Dissertation: Leveraging System Call Interposition for Low-level Process Manipulation
Resume
My Resume can be found here. I can be contacted via the email on my Github Profile.
This website was last updated June 25th, 2025
No AI was used to write or revise this