Pedro Carrott -

Registered user since Wed 24 Apr 2024

Name:Pedro Carrott

Country:United Kingdom

Affiliation:Imperial College London

Personal website: https://pcarrott.github.io

X (Twitter): https://x.com/pedrocarrott

GitHub: https://github.com/pcarrott

Contributions

2025

ICSE

Author of Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification within the Research Track-track

TPSA

Author of Scalable Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Refutation within the TPSA 2025-track

2024

ESEC/FSE

Author of CoqPyt: Proof Navigation in Python in the Era of LLMs within the Demonstrations-track