SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026
SPLASH/ISSTA 2026 (series) / SPLASH 2026 (series) / John Li
John Li

Registered user since Sun 18 Jun 2023

Name:John Li
Country:United States
Affiliation:Northeastern University
Personal website: https://johnm.li/
Research interests:Logic, semantics, mechanized proof

Contributions

Show activities from other conferences

SPLASH/ISSTA 2026-profile
View general profile