- 🔭 Currently working as a Software Development Engineer at Amazon
- 🌱 Exploring Advanced Swift and Formal Methods usage for Multi-Robot Systems
- 💬 Open to discussing Swift, SwiftUI, System Design, Robotics, and Formal Methods
- 📝 Explored Architecture, Implementation and Performance Analysis of a Microservices-Based System for Multi-Robot Systems
- ⚡ Fun fact: A tech and sports lover who builds robots to play soccer autonomously ⚽🤖
📫 Or reach me out via matheusvtna1@gmail.com
- Apple Entrepreneur Camp with AuTime (2021)
- Winner of the Swift Student Challenge (2021, 2020)
- 1st Place Team at Meta F8 Refresh Hackathon (2021)
- 1st Place Team at RoboCup’s Small Size League (SSL) Division B (2023, 2022)
- 1st Place Team in Small Size League (SSL) at Latin American and Brazilian Robotics Competitions (2023, 2022, 2021, 2020)
- Most Improved Team at RoboCup’s Small Size League (SSL) (2024)


