Registered user since Mon 11 Nov 2019

Name: David Justo

Bio: David Justo is a graduate student at the University of California, San Diego. He’s interested in programming languages, programming environments, database theory, and formal methods.

Country: United States

Affiliation: University of California, San Diego

Personal website: http://acsweb.ucsd.edu/~djusto/

Research interests: Programming Languages, Formal Methods

Contributions