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:
- Understanding what a systems language is and motivating Rust via the shortcomings of C and C++.
- Understanding the design and performance trade-offs of Rust vs other languages (static types, garbage collection, zero cost abstraction, etc).
- Good software engineering practices (e.g. testing, robust error handling, and writing idiomatic, maintainable code).
- Understanding not just the language, but the larger language ecosystem (libraries, build tools, programming tools, etc).
For those interested you can see the previous iteration of the class website.
Last updated April, 2022