Hi there! 👋 I'm Matheus Andrade

A passionate software engineer from Brazil 🇧🇷

• 🔭 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 ⚽🤖

🤝 Connect with me

📫 Or reach me out via matheusvtna1@gmail.com

🛠️ Languages and Tools

🏆 Awards and Events

• 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)

📑 Papers

• RobôCIn SSL-Unification: A Modular Software Architecture for Dynamic Multi-robot Systems, RoboCup 2023: Robot World Cup XXVI
• Micro Frontend Architecture for Robotic Systems: A Systematic Approach with Design Rationale, 2025 IEEE/ACM 7th International Workshop on Robotics Software Engineering (RoSE)