Personal information

Verified email addresses

Verified email domains

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)

Imperial College London: London, GB

2022 to present | Research Fellow (Computing)
Employment
Source: Self-asserted source
Daniele Nantes Sobrinho

Universidade de Brasília: Brasilia, DF, BR

2016-01-08 to present | Associate Professor (Mathematics)
Employment
Source: Self-asserted source
Daniele Nantes Sobrinho

Universidade de Brasília: Brasilia, DF, BR

2014-10-01 to 2015-12-15 | Visiting Lecturer (Mathematics)
Employment
Source: Self-asserted source
Daniele Nantes Sobrinho

Universidade de Brasília: Brasilia, DF, BR

2013-09-12 to 2014-09-30 | Posdoctoral Fellow (Computer Science)
Employment
Source: Self-asserted source
Daniele Nantes Sobrinho

Education and qualifications (2)

Universidade de Brasília: Brasília, Distrito Federal, BR

2009-09-15 to 2013-09-06 | PhD (Ḿathematics)
Education
Source: Self-asserted source
Daniele Nantes Sobrinho

Universidade de Brasília: Brasilia, DF, BR

2007-08-08 to 2009-09-06 | MsC (Mathematics)
Education
Source: Self-asserted source
Daniele Nantes Sobrinho

Professional activities (1)

King's College London: London, GB

2014-01-10 to 2014-05-31 | Visiting Researcher (Informatics)
Invited position
Source: Self-asserted source
Daniele Nantes Sobrinho

Funding (2)

Fixed-Point Constraints for Nominal Equational Unification

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: Self-asserted source
Daniele Nantes Sobrinho

Visit to King's College London and Groningen University

2018-01 to 2018-02 | Grant
Fundação de Apoio à Pesquisa do Distrito Federal (Brasília, Distrito Federal , BR)
GRANT_NUMBER: 0193.001381/2017
Source: Self-asserted source
Daniele Nantes Sobrinho

Peer review (2 reviews for 2 publications/grants)

Review activity for Annals of mathematics and artificial intelligence. (1)
Review activity for Journal of symbolic computation. (1)