Áron Ricardo Perez-Lopez - FM 2026

Mon 18 - Fri 22 May 2026 Tokyo, Japan

Registered user since Fri 3 Apr 2026

Name:Áron Ricardo Perez-Lopez

Country:United States

Affiliation:Stanford University

Personal website: http://arpl.me

GitHub: https://github.com/CyanoKobalamyne

Research interests:Formal Verification, Automated Reasoning

Contributions

2026

FM

Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness

Show activities from other conferences

FM 2026-profile
View general profile