Personal information
Verified email addresses
Verified email domains
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)
Education and qualifications (2)
Professional activities (1)
Funding (2)
451555/2018-0