Profile

Hello, I am Ricardo Calvo.

I am a PhD student in Electrical and Computer Engineering at Purdue University, and a Graduate Research Assistant in the Duality Lab.

Research interests

Formal verification: foundations and tools for proving software correctness.
Program analysis and testing: static, dynamic, and hybrid methods for understanding and validating code.
Optimization and efficiency: techniques for improving performance and resource usage in real systems.

I am currently working on AutoUP, an automatic unit-proof generation system for formal verification.

PhD, Electrical and Computer Engineering, Purdue University (2025-2030 expected).
BSc, Systems and Computer Engineering, Universidad Nacional de Colombia (2018-2023).

Graduate Research Assistant, Purdue University (Aug 2025-present).
Undergraduate Visiting Scholar (UREP-C), Purdue University (Feb 2023-Jul 2023), where I contributed to EmNetTest.
Test Engineer and QA Analyst, Kravata (Sep 2024-Jul 2025), leading test automation and CI/CD quality workflows.
Fullstack and Junior Software Developer, Fit Ideas (Aug 2021-Aug 2024), with responsibilities across development, technical leadership, and delivery.

Student volunteer at ICSE 2026 in Rio de Janeiro, Brazil.
Reviewer/sub-reviewer for MSR 2026 (Mining Challenge), USENIX 2026 Cycle 2, and ICSE 2026.

Travel support for the ICSE 2026 Student Mentoring Workshop (SMeW) (NSF and ACM SIGSOFT).
Ser Pilo Paga merit scholarship from the Ministry of Education of Colombia.

You can explore more in Publications, Talks, Blog Posts, and my CV.