Matheus Garay Trindade

Computer Science alumni on the Universidade Federal de Santa Maria. The student was funded by FATEC on his university as part of the SiS-Astros project, a partnership between the UFSM and the Brazilian Army. Along with this project, I am currently building a quad rotor drone for autonomous flight. Early in the he's graduation, he has had contact with computer security. He has done a sandwich period during his graduation at the University of Southampton, as part of the Science Without Borders programme. As a student in this university, he has achieved an average mark of First-Class student. Adding to that, he has worked in the Electronics and Software Systems laboratory. During this time, he learned how to work with software modelling through formal methods, using Event-B and its tool RODIN. He has worked developing plugins for the RODIN platform, being the most notable: rewriting the software translations in the iUML-B state machines plugins, rewriting the ERS software translations and initial development of a graphical editor for the same plugin.He is a hardworking student and he has shown that by being first place on the PEIES (admission test) for the UFSM, by being selected as part of the Young Talents to Science programme and by having high marks in both UFSM and the University of Southampton. He wants to grow academically.

Doutorando na Université Grenoble Alpes, França. Ex-Aluno de Graduação da Universidade Federal de Santa Maria no curso de Ciência da Computação, formado com Láurea Acadêmica. Foi bolsista pela FATEC em sua Universidade, ex-integrante do projeto SiS-Astros, parceria da UFSM com o Exército Brasileiro. Junto a esse projeto, desenvolveu um Drone quadrotor para voo autônomo. Durante o começo da graduação, teve experiência com segurança computacional. Participou do programa Ciência sem Fronteiras no ano letivo de 2013/2014 na University of Southampton, Southampton, UK. Como aluno dessa universidade, conseguiu média de aluno Primeira-Classe. Além disso, trabalhou no laboratório de Eletrônica e Sistemas de Software. Durante esse tempo. Aprendeu a trabalhar com modelagem formal de software, usando o método formal Event-B e sua ferramenta, RODIN. Atualmente trabalha com avaliação da confiabilidade de algorítmos de Machine Learning face aos efeitos de radiação.É um aluno estudioso e esforçado, demonstrado sendo primeiro colocado no PEIES (processo seletivo) para a UFSM, pela sua aprovação no programa Jovens Talentos para a Ciência e por sua média acadêmica alta, tanto na UFSM quanto na University of Southampton. Tem como objetivo crescer academicamente.