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
Personal website: https://deividrvale.github.io
GitHub: https://github.com/deividrvale
Research interests:Theoretical Computer Science, Programming Language Semantics, Formal Methods, Coq, Formalization, Term Rewriting Systems, Complexity Theory
Contributions
Using general profile