Consultant for a US-based retail client working in a mature Java integration and microservices-based project with several automated tests. I had the opportunity and the challenge to learn and develop several skills which I lacked, such as Ruby, Capybara, Cucumber, Gradle and Chef. I am also part of the recruitment team evaluating technical projects of candidates to the company.

Teacher for undergraduate level for the computer science course. I have taught different classes for all kinds of students. I was part of the teaching board with the coordination for monitoring the course status. I was also part of the review boards of students in their graduation projects. The classes which I have taught were: theory of computation, compilers and interpreters, object-oriented programming, graphs and web programming.

Teacher for undergraduate and technical levels for the information systems, systems analysis and development and administration courses. I have taught different classes for all kinds of students. I also advised students in their graduation projects and integrated review boards. The classes which I have taught were: operations research, human-computer interaction, programming languages, databases I and II, web programming, distributed systems and network management.

Software engineer with a full-stack role designing and implementing the new version of a laboratory information management system. It was a challenging task since this type of software is mostly generic, being modeled by its users. Therefore, it can be adapted and configured to suit the user needs. I had to participate in all kinds of decisions, from the tech stack to architectural solutions, and also implement challenging stories, such as an expression language and an integrated modeling tool. There, I was able to learn technologies such as Spring, JSF, Git, Maven, Hibernate and REST. Also, I introduced bug-tracking tools and coached new employees.

Using formal verification techniques for modeling and analysis of biological systems.Grant: (1) CNPq (2) CAPES/REUNI

Software development involving all activities of the life cycle: requirements specification, analysis, design, coding, unit testing and system testing.Studies, deployment and maintenance of tools supporting software development.Development in Java 6 (J2SE and J2EE), Servlets, JSP, JSF, JavaScript, XML, HTML, CSS and Oracle

Research in formal verification, development of a tool to solve the boolean satisfiability (SAT) problem, development in C/C++ and shell scripts