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