![John Li](https://conf.researchr.org/getProfileImage/johnli/0fa7f820-51e9-41cb-94e9-462c4e3ab27d/small.jpg?1711480638000)
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
PLDI 2023-profile
View general profile
View general profile