About Me

My name is Omar S. Navarro Leija. I am a graduating Computer Science PhD at the University Of Pennsylvania advised by Prof. Joseph Devietti.

I am a systems researcher with expertise in the Rust programming language, the Linux programming interface, and systems programming.

Looking For Job 👁

I am graduating August 2022 and planning to transition into industry. I am seeking software engineering jobs, primarily programming in Rust. I am passionate about engineering software solutions to interesting technical problems. I am interested in all levels of the software stack. Feel free to contact me!

My CV can be found here.

I can be contacted via the email on my Github Profile.

Research Interests

I am broadly interested in Linux systems programming, operating systems, and Rust 🦀. Other interests include: deterministic program execution, kernel bypass technologies, record-replay systems, concurrency, GPUs, virtual machines, and functional programming.

My doctoral research leverages 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 determinstic. This enables automatic reproducible builds.

See all publications here.

Teaching

I am highly interested in computer science education. I have strong opinions about how programming is taught. So I'm doing something about it! I have taught UPenn's CIS198 Rust Programming Fall 2018, Fall 2019. This course strongly focuses on:

For those interested you can see the previous iteration of the class website.

Teaching Rust to new students.

Last updated April, 2022