Daniele Nantes

 

Personal Information

“If I have seen further it is only by standing on the shoulders of  giants”

Isaac Newton

 

Daniele Nantes Sobrinho, Dr.

Associate Professor

(Professor Adjunto)

Department of Mathematics

Brasília University


Reseach Interest:

Theory of computation: nominal rewriting, lambda calculus, applications of rewriting techniques, formal logic and mathematics in analysis of cryptografic protocols.



Current address:

Departamento 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


E-mail: dnantes@mat.unb.br

Curriculum Vitae: lattes.cnpq