Fernando Braz Email & Phone Number

Amsterdam, Nh, Nl

Amsterdam, North Holland, Netherlands

Eindhoven Area, Netherlands

Belo Horizonte Area, Brazil

Santiago Province, Chile

Belo Horizonte Area, Brazil

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.

Betim E Região, Brasil

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.

Itabira E Região, Brasil

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.

Belo Horizonte E Região, Brasil

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.

Belo Horizonte E Região, Brasil

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

Belo Horizonte E Região, Brasil

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

Belo Horizonte E Região, Brasil

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

Master Of Science (Msc), Computer Science, 90%

Activities and Societies: MSc Dissertation: Probabilistic Model Checking for Modelling and Analysis of Drugs and Toxins Interactions.

Bachelor Of Science (B.Sc.), Computer Science, 79%

Activities and Societies: Undergraduate Monograph: Definition and evaluation of metrics for SAT solvers, Advisor: Mark Alan Junho Song.