POPL 2022
Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States
POPL 2022 (series) / Laura Titolo
Laura Titolo

Registered user since Mon 27 Nov 2017

Name:Laura Titolo
Country:United States
Affiliation:NIA/NASA LaRC
Personal website: https://lauratitolo.github.io/
Research interests:Abstract Interpretation, Static Analysis, Formal Methods

Contributions

Show activities from other conferences

POPL 2022-profile
View general profile
OSZAR »