Worked on enhancing quantum programming workflows by developing experimental modifier support in the Guppy language within the CQCL/guppylang repository, enabling more expressive quantum circuit descriptions through AST to CFG lowering and type checking. Leveraged Python and Rust to implement AST utilities, extend the CFG builder, and introduce modifier-related error tests. In the CQCL/tket2 repository, contributed to Hugr/Tket integration by adding comprehensive handling for modifiers and global phases, including extension operations and a resolver for circuit rewriting and gate decomposition. This work established a foundation for richer control-flow constructs and streamlined circuit transformations, reducing future rework and accelerating feature delivery.