During October 2025, Pranav Ailoor developed a core Picus verifier backend integration for the Consensys/go-corset repository, focusing on enhancing formal verification in continuous integration workflows. He implemented translation layers from AIR and MIR representations to PCL, expanding the data model to support complex verification artefacts such as expressions, formulas, and program outputs. By integrating the new backend into existing verification commands, Pranav improved the reliability and coverage of the end-to-end verification pipeline. His work leveraged Go and applied skills in backend development, compiler design, and constraint programming, demonstrating depth in both technical implementation and understanding of verification processes.