I started my career back in 2002 as a junior software developer at CESAR, in Recife, Pernambuco, Brazil. On the desire for deeper challenges in computer science, I started my master course in 2010 in Formal Verification. In 2012 I started my PhD course and contributed to an international research project as part of the UFPE team, where I used my formal verification knowledge. Most of my programming experience has been in Java, but I also was a software architect in C# projects. I know well about database design with entity-relationship and relational diagrams, and also and communicating with technical teams using UML (mainly sequence diagrams). I had a short experience teaching programming with Python and C for entry-level students. I hav advanced knowledge on Continuous Delivery and tools to achieve it, namely: Docker, Terraform and Jenkins. I`ve applied testing techniques, like unit, acceptance and mutation tests. On the infrastructure side, I have some experience with Amazon Web Services services and resources.
©