Daniele Nantes Sobrinho

I am a PhD in Mathematics, Universidade de Brasília, with research focused in Theoretical Computer Science. Part of my PhD research was done in the Informatics Department of King's College London. Currently, I am an Associate Professor at the Department of Mathematics - Universidade de Brasília. My areas of interest are Term Rewriting Systems, Complexity Theory, Pi-Calculus, Proof Theory, First Order and Nominal Logic and their applications. In 2016 I'm part of the Organising Committee of the 11th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2016) a satellite workshop of the FSCD 2016.

Possui graduação em Matemática pela Universidade Federal de Mato Grosso do Sul (2006) e mestrado em Matemática pela Universidade de Brasília (2009), e doutorado em Matemática pela Universidade de Brasília com período de doutorado sanduíche em King's College London. Atualmente é Professora Adjunta do Departamento de Matemática da Universidade de Brasília. Foi Pesquisadora Colaboradora Junior do Departamento de Ciência da Computação da Universidade de Brasília (2013-2014) e Visiting Research Follow (2014-2015) do Departamento de Informática de King's College London. No período 2/2013 a 1/2014 esteve vinculada ao projeto CAPES-PVE como pós-doutoranda, com pesquisa científica em colaboração com Mauricio Ayala Rincón (CIC-UNB) e Maribel Fernández (Department of Informatics-King's College London). É pesquisadora externa do projeto ``Unifying Correctness for Communicating Software'' do grupo Fundamentals of Computing do Bernoulli Institute, University of Groningen. Sua pesquisa, em área de fronteira, engloba técnicas matemática e computacionais, bem como suas aplicações em segurança de protocolos criptográficos. Dentre suas áreas de interesse estão: Teoria da Computação, Lógica Formal, Teoria da Complexidade, Teoria da Reescrita, Lógica Nominal, Pi-Calculus e Criptografia. Eleita em 2018, membro do Steering Committee do International Workshop in Unification. Foi co-chair do 33rd International Workshop in Unification (UNIF 2018). Foi membro de comitês científicos das conferências internacionais LSFA (2020-2021), Women in Logic (2020-2021), UNIF (2019-2021).