Curriculum Vitae

Experience
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.

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, 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.

Publications
Relying on a rate constraint to reduce Motion Estimation complexity IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP), 2021