SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
Alexander Bai

Registered user since Wed 29 Jun 2022

Name:Alexander Bai
Country:United States
Affiliation:Tufts University
Research interests:Programming Languages, Formal Verification, Automated Reasoning

Contributions

Show activities from other conferences

Using general profile