Daniele Nantes Sobrinho is a PhD student in Departament of Mathematics  at Universidade de Brasília, supervised by Prof. Mauricio Ayala Rincón. She has done a PhD sandwich in Departament of Informatics, at King’s College London, supervised by Professor Maribel Fernández. Her main research interests are theory of computing, applications of rewriting techniques, formal logic and mathematics in analysis of cryptografic protocols.

Current address:

Departmento de Matemática - Campus Universitário Darcy Ribeiro

Universidade de Brasília

Grupo de Teoria da Computação

CEP: 70910-900

http://www.mat.unb.br

http://www.kcl.ac.uk

E-mail: dnantes@mat.unb.br

Curriculum Vitae: lattes.cnpq