About Me

I’m Mehrad Haghshenas, a first-year PhD student in Computer Science at the University of Waterloo, working in the CrySP lab under the supervision of Prof. Meng Xu. My research interests span:

• Formal Verification
• Programming Languages
• Automated Theorem Proving
• Logic
• Static Analysis
• Functional Programming

📄 CV & Projects

• Download my CV: Mehrad Haghshenas – CV
• Browse my projects on GitHub: @mehrad31415