I'm a compiler enthusiast passionate about functional programming and language design.
π MSc in Computer Science, University of Calgary
βοΈ Currently working on compiler development using LLVM
π Research interests: compiler development, type inference, programming language design, type theory, and category theory
π» Skills: C++, compiler design, LLVM, algorithms, Haskell
π Projects:
- EvaLLVM β a toy LLVM compiler
- SainaSH β a lightweight Python shell with background process management
π« Connect with me on LinkedIn


