pixelated youssef icon

Youssef's website

Hi again! Still me..

This page contains more information on what I do, as well as some contact information if you want to reach out.

university

I graduated with a BSc. Honours in Computer Science from the University of British Columbia in 2026. My honours thesis was titled Optimized Verification Condition Generation for Rust Verification and supervised by Professor Alexander J. Summers.

Some of my favourite courses were CPSC 311, CPSC 312, CPSC 320, CPSC 411, CPSC 420 and CPSC 421, as well as CPSC 539-S and CPSC 509.

research

My main research interests lie broadly in the areas of programming languages and theory of computation. In particular, I'm interested in (1) designing, analyzing and proving the correctness of algorithms and (2) designing and optimizing sound type systems that can be used for (1) à la many existing proof assistants.

Most of my research experience is in Rust verification, including my honours thesis. For more information on my research experience, presentations and awards, see research.

teaching

During my undergrad, I worked as an Undergraduate Teaching Assistant for CPSC 320 (Intermediate Algorithm Design and Analysis), CPSC 311 (Definition of Programming Languages), CPSC 312 (Functional and Logic Programming) and CPSC 210 (Software Construction).

course Term instructor(s) resources
CPSC 320 2025W2 Steve Wolfman, Gautam Luhana -
CPSC 311 2025W1 Steve Wolfman course website
CPSC 320 2024W2 Susanne Bradley, Alan Hu, Yuanhao Wei -
CPSC 312 2024W1 Steve Wolfman course website
CPSC 210 2024S2 Paul Carter course website
2023W2 Felix Grund, Firas Moosvi course website

interests

My academic interests lie broadly in theoretical computer science, with a particular focus on programming languages, formal verification and theory of computation.

Over the past two years, I've become familiar with some proof assistants like ACL2, Lean and Viper. I am intrigued by F*, Agda and Rocq, and want to gain experience with using them as well.

When it comes to programming paradigms, I vastly prefer functional. Most of my (functional) experience is with Haskell, Racket and Erlang, though a few months with Common Lisp have convinced me I'd enjoy most lisps. I also greatly enjoy Rust — multiparadigm as it is.

Beyond that, I enjoy going down Wikipedia rabbit holes as much as the next person, especially when they're about historical linguistics.

contact

Want to get in touch? You can reach me at the following: