Hi! I'm Youssef.
I am a programming languages and verification enthusiast and recent computer science graduate from the University of British Columbia.
This summer, I'm working with Professor Alex Summers at UBC's Software Practices Lab on capabilities-based verification for Rust clients of interior mutability. My academic interests lie in programming languages, formal verification and theory of computation.
Outside of university, I enjoy cooking, reading and playing video games :)
Enjoy the website ^_^
!!! research notice
If you are aware of any research positions related to formal verification, dependent types or gradual typing, I'd love to hear about them! I am looking for opportunities in these areas and would greatly appreciate any leads. Please feel free to reach out!