Degrees
| 2006 – 2011 | Ph.D. in Computer Science . University of Cambridge, CAM, England. Title: Verification of Security Protocols Based on Multicast Communication Year of degree: 2011. Advisor: Lawrence C. Paulson. Fellow of (a): Coordination of Improvement of Higher Education Personnel, CAPES, Brazil. |
| 2003 – 2005 | Master in Computer Science . Federal University of Santa Catarina, UFSC, Brazil. Title: Design of a Cryptographic Service Provider Infrastructure for Embedded Public Key and its Applications,Year of degree: 2005. Advisor: Ricardo Felipe Custodio. Fellow of (a): National Research Network. |
| 1997 – 2001 | Degree in Computer Science . Federal University of Santa Catarina, UFSC, Brazil. Title: Issuance of Birth Certificates via the Internet. Advisor: Ricardo Felipe Custodio. |