Worked on the Consensys/go-corset repository to deliver a core backend integration for the Picus verifier, enabling translation from AIR and MIR representations to PCL. This involved designing and implementing translation files and expanding the PCL data model to support expressions, formulas, and program output, thereby improving the reporting and reliability of verification results. The new backend was integrated into existing verification commands, supporting a seamless end-to-end workflow for formal verification in continuous integration environments. The work leveraged Go and focused on backend development, code generation, and compiler design, enhancing the overall verification pipeline’s coverage and integrity without introducing new bugs.