Trustworthy Systems

Ryan Shi
Student Intern

Research Interests

Ryan is assisting in developing a native file system on the seL4 core platform.

In one line, Ryan wants to research more in the intersection of maths and CS. Ryan currently is pursuing a Pure Maths major and is exploring the areas of: - Functional Analysis - Topological Spaces - Time Series - Measure Theory

In the realm of CS, Ryan has a shallow background in Networking and Data Analysis. Ryan would like to learn more about the following areas: - Haskell / OCaml - Rust - C

Contact Details

More contact information is available at the Contact page.

Photo of Ryan Shi