Worked on compiler infrastructure for CQCL/guppylang and CQCL/hugr, focusing on feature development and debugging improvements. Enhanced the Guppy->HUGR compiler by labeling function definition nodes with qualified names, enabling clearer disambiguation of methods sharing base names and laying the foundation for more robust debugging. Upgraded the HUGR repository to LLVM 21, refactored IR generation to remove typed pointers, and improved JIT compatibility by updating function call handling. Adjusted symbol linkage to make private functions visible in local symbol tables, facilitating better profiling and debugging. Utilized Rust and Python, applying expertise in compiler design, systems programming, and debugging infrastructure.