|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.
|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
|English - Proficient|
|French - Advanced|
|Portuguese (Brazilian) - Native|
|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.|
|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