conf.researchr.org / Deivid Vale
![Deivid Vale](https://conf.researchr.org/getProfileImage/deividvale1/ca1dc47a-913b-44af-b767-19137f121b18/small.jpg?1712307020000)
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