Résumé

Experience
Open Source Developer at Major League Hacking (2021/06 - 2021/08) Contributed to Antlir, Facebook’s filesystem image builder, during an MLH Fellowship. Developed a concurrent test runner integrating a relational database for stateful runs.
Student Researcher on Formal Proofs at Verimag (2021/02 - 2021/05) Designed tools for the simulation and formal verification of distributed Self-stabilizing Algorithms in a synchronous programming language. Solved the (easy) open problem of verifying the exact worst-case stabilization time of Dijkstra’s token ring with three nodes.
Video Coding Research Assistant at Embedded Computing Lab. (2018 - 2020) Research in the field of video coding and compression. Created a Motion Estimation algorithm and implemented it in VVC, yielding a publication in a major conference. Studied HEVC Intra prediction and implemented a hardware-accelerated prototype on an FPGA.
Electronics Technician Intern at Inergiae (2016 - 2017) Participated on the assembly and testing of high voltage static converters.

Education
BSc (Hons) Degree in Computer Science (2018 - 2022) Universidade Federal de Santa Catarina (UFSC), Brazil
Exchange: Embedded Systems Engineering (2020 - 2021) Ensimag - Grenoble INP, France
Technical Degree in Electronics (2014 - 2017) Instituto Federal de Santa Catarina (IFSC), Brazil

Languages
English - Proficient
French - Advanced
Portuguese (Brazilian) - Native

Skills
Well versed with C, Scheme, Python, C++, F#, Java, SQL and Octave. Also Linux and git.
Good notions of Operating Systems, Functional Programming and Cybersecurity.
Disciplined and organized, which also apply to produced code.

Publications
Relying on a rate constraint to reduce Motion Estimation complexity IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2021
Eliminação de Candidatos Baseada em Taxa para Algoritmos de Estimação de Movimento na Codificação de Vídeo REIC: Artigos do 40o Concurso de Trabalhos de Iniciação Científica (CTIC/CSBC), 2021