conf.researchr.org / Laura Titolo
Registered user since Mon 27 Nov 2017
Name:Laura Titolo
Country:United States
Affiliation:Code Metal
Personal website: https://lauratitolo.github.io/
Research interests:Formal Verification, Theorem Proving, Static Analysis, Formal Methods
Contributions
2026
Static Analysis Symposium
2025
Symposium on Practical Aspects of Declarative Languages
2024
2023
Static Analysis Symposium
2022
Static Analysis Symposium
SOAP
- NIA/NASA LaRC in Program Committee within the SOAP 2022-track
- Session Chair of Keynote 3 + Papers (part of SOAP 2022)
- Session Chair of Keynote 1 (part of SOAP 2022)
- Program Co-Chair in Organizing Committee within the SOAP 2022-track
- Session Chair of Keynote 3 + Papers (part of SOAP 2022)
- Session Chair of Keynote 2 + Papers (part of SOAP 2022)
- Session Chair of Keynote 2 + Papers (part of SOAP 2022)