|Open Source Developer at Major League Hacking (2021/06 - 2021/08)
Contributing to Antlir, Facebook’s filesystem image builder, during an MLH Fellowship.
|Student Researcher on Formal Proofs at Verimag (2021/02 - 2021/05)
Short research and development project dedicated to the simulation and formal
verification of distributed Self-stabilizing Algorithms in Lustre.
|Video Coding Research Assistant at Embedded Computing Lab. (2018 - 2020)
Research in the field of video coding and compression: Motion Estimation algorithm
design and implementation in VVC; study of Intra prediction methods in the HEVC
standard; hardware-accelerated video coding prototyping on a FPGA board.
|Electronics Technician Intern at Inergiae (2016 - 2017)
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, C++, Scheme, Python, Java, Octave, and OCaml. Also Linux and git.|
|Good notions of Networks & Cybersecurity, Functional Programming and Hardware & Operating Systems.|
|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