Personal information
Verified email addresses
dnantess@ic.ac.uk
Verified email domains
unb.br
Formal Logic, Theory of Computing, Cryptographic Protocols.
Biography
I am a PhD in Mathematics, with research focused on mathematics applied to computer science. I am an adjunct professor (tenure) in the Department of Mathematics at Universidade de Brasília, Brazil. Currently, I am on research leave from the University of Brasilia, and working as a Research Fellow at Imperial College London.
My research includes mathematical and computational techniques applied in the analysis of security of cryptographic protocols. My areas of interest are : Theory of computing, Formal and Computational Logic, Rewriting Theory and Applications, Proof Theory, Process Calculus, Complexity Theory and Cryptography.
Activities
Employment (4)
2022
to
present
|
Research Fellow
(Computing)
Employment
Source:
Daniele Nantes Sobrinho
2016-01-08
to
present
|
Associate Professor
(Mathematics)
Employment
Source:
Daniele Nantes Sobrinho
2014-10-01
to
2015-12-15
|
Visiting Lecturer
(Mathematics)
Employment
Source:
Daniele Nantes Sobrinho
2013-09-12
to
2014-09-30
|
Posdoctoral Fellow
(Computer Science)
Employment
Source:
Daniele Nantes Sobrinho
Education and qualifications (2)
2009-09-15
to
2013-09-06
|
PhD
(Ḿathematics)
Education
Source:
Daniele Nantes Sobrinho
2007-08-08
to
2009-09-06
|
MsC
(Mathematics)
Education
Source:
Daniele Nantes Sobrinho
Professional activities (1)
2014-01-10
to
2014-05-31
|
Visiting Researcher
(Informatics)
Invited position
Source:
Daniele Nantes Sobrinho
Funding (2)
2018-06
to
2018-07
|
Grant
Conselho Nacional de Desenvolvimento Científico e Tecnológico
(Brasília, Distrito Federal, BR)
GRANT_NUMBER:
451555/2018-0
Source:
Daniele Nantes Sobrinho
2018-01
to
2018-02
|
Grant
Fundação de Apoio à Pesquisa do Distrito Federal
(Brasília, Distrito Federal , BR)
Source:
Daniele Nantes Sobrinho