Emily First - 2030 Software Engineering

Mon 15 - Fri 19 July 2024

co-located with FSE 2024

Registered user since Tue 28 Nov 2023

Name:Emily First

Country:United States

Affiliation:University of California, San Diego

Contributions

2024

ESEC/FSE

CoqPyt: Proof Navigation in Python in the Era of LLMs

Show activities from other conferences

FSE 2024-profile
View general profile