conf.researchr.org / David Costanzo
![David Costanzo](https://conf.researchr.org/getProfileImage/davidcostanzo/735d03bb-5df9-4f0b-9a3f-92dce9ff447c/small.jpg?1714380005000)
Registered user since Mon 22 Feb 2016
Name:David Costanzo
Country:United States
Affiliation:Yale University
Research interests:Formal Verification, Programming Languages, System Security
Contributions
Registered user since Mon 22 Feb 2016
Contributions