Software Developer - Datarisk

• Development of a platform for AI products using F#.
• Applied functional programming on real-world systems.
• Experience with advanced language features such as Type Providers and Computation Expressions.

Compiler Developer - Imagine AI

• Development of a compiler using Haskell.
• Experience in using a functional programming language on a real-world project.
• Implementation of a build infrastructure using Google Cloud Functions.
• Code generation from an implemented DSL to popular frameworks such as Django and Node.

Undergraduate Research - LAC/UFMG

• Research on Termination Analysis using tools available at SV-Comp.
• Development of a domain specific language (Hapi) to define access policies.
• Study of compilers and programming languages theory together with recent techniques that compilers use to analyze and optimize programs.

Full Stack JavaScript Developer - Tamborine Tecnologia

• Design and implementation of frontend interfaces with React.
• Development of backend APIs using NodeJS, database modeling with MongoDB, and implementation of unit and integration tests.
• Study of software engineering and experience in real-world product development.

Bachelor of Computer Science - UFMG

• 8º Semester

• 🇧🇷 Portuguese:  
• 🇬🇧 English:        
• 🇯🇵 Japanese: