Hi! I'm Youssef.
I am a fifth-year computer science undergraduate at the University of British Columbia and a CPSC 311 Teaching Assistant.
I am currently working with Professor Alex Summers at UBC's Software Practices Lab on optimizing verification condition generation for Prusti, a program verifier for Rust. My academic interests lie in programming languages, formal verification and theory of computation.
Outside of university, I'm trying to get more into running and biking. I also enjoy cooking, reading and (some) video games :)
Enjoy the website ^_^
!!! research notice
If you are aware of any research opportunities related to formal verification, dependent types or gradual typing, I'd love to hear about them! I am actively searching for supervisors in these areas and would greatly appreciate any leads. Please feel free to reach out!