Deivid Rodrigues do Vale

Bacharel em Matemática pela Universidade de Brasília (2017). Mestre em Matemática pela Universidade de Brasília (2019), no campo de Computação Teórica. Atualmente, trabalha como Promovendus (Doutorando) no Instituto de Computação e Ciência da Informação na Radboud University, Nijmegen - Holanda. Atua como pesquisador principal do projeto ICHOR (Implicit Complexity through Higher-Order Rewriting), um projeto "NWO TOP scheme", financiado pela instituição de fomento Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO). Tem experiência na área de Matemática com ênfase em Fundamentos Matemáticos da Computação. Sua pesquisa, em área de fronteira, consiste em desenvolver ferramentas matemáticas para modelagem de modelos lógicos e computacionais variados. Dentre suas áreas de interesse estão: semântica algébrica para sistemas de reescrita de primeira ordem e ordem superior, semântica de lógica equacional nominal, teoria da complexidade computacional e análise de algoritmos, complexidade de ordem superior, raciocínio automático, e provadores de teorema. É membro do comitê científico (revisão e avaliação de artefatos) de conferências internacionais como Computer Aided Verification (CAV) - desde 2019 - e Conference on Programming Language Design and Implementation (PLDI) - em 2022. Trabalhou como revisor de artigos para conferências internacionais: International Conference on Formal Structures for Computation and Deduction (FSCD 2020); 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) em 2022; e 19th International Workshop on Termination (WST 2023). É membro do conselho de direção no Institute for Programming Research and Algorithmics (IPA), desde 2019 (com mandato até Setembro 2023).

Deivid Vale has a Bachelor degree in Mathematics from the University of Brasília (2017). Master in Mathematics from the University of Brasília (2019), in the field of Theoretical Computing. Currently, works as a Promovendus (PhD student) at the Institute of Computing and Information Science at Radboud University, Nijmegen - Netherlands. He is the principal investigator of the ICHOR project (Implicit Complexity through Higher-Order Rewriting), an NWO TOP scheme project, funded by the Nederlandse Organisatie voor Wetenschappelijk Onderzoek (NWO). He has a background in Mathematics with emphasis on Mathematical Foundations of Computation. His frontier research consists of developing mathematical tools for modeling various logic and computational models. Among his areas of interest are: algebraic semantics for first-order and higher-order rewriting systems, semantics of nominal equational logic, computational complexity theory and algorithm analysis, higher-order complexity, automatic reasoning, and theorem provers. He is a member of the scientific committee (artifact review and evaluation) of international conferences such as Computer Aided Verification (CAV) - since 2019 - and Conference on Programming Language Design and Implementation(PLDI) - in 2022. He has worked as a reviewer of papers for international conferences: International Conference on Formal Structures for Computation and Deduction (FSCD 2020); 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in 2022; and 19th International Workshop on Termination (WST 2023). He has been a member of the board of directors Institute for Programming Research and Algorithmics (IPA), since 2019 (with a term until September 2023).