VMCAI 2025
Mon 20 - Tue 21 January 2025 Denver, Colorado, United States
co-located with POPL 2025
John Li

Registered user since Sun 18 Jun 2023

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

Contributions

Show activities from other conferences

Using general profile