PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Deivid Vale

Registered user since Tue 5 Mar 2024

Name:Deivid Vale
Bio:

I am a postdoc researcher at the Department of Software Science, Radboud University — The Netherlands.

Country:Netherlands
Affiliation:Radboud University
Research interests:Theoretical Computer Science, Programming Language Semantics, Formal Methods, Coq, Formalization, Term Rewriting Systems, Complexity Theory

Contributions

Show activities from other conferences

PLDI 2024-profile
View general profile