VMCAI 2025
Mon 20 - Tue 21 January 2025 Denver, Colorado, United States
co-located with POPL 2025
Thomas J. Porter

Registered user since Thu 14 Nov 2024

Name:Thomas J. Porter
Country:United States
Affiliation:University of Michigan
Research interests:Live Programming, Proof Assistants

Contributions

Show activities from other conferences

Using general profile