Crafting elegant solutions to complex problems with TypeScript, React, and Node.js

• 🌍 Based in Natal, Brazil
• 🖥️ Connect with me on LinkedIn
• ✉️ Reach me at artur.o.gomes@gmail.com
• 🤝 Open to collaborating on interesting projects as a developer
• 🚀 Passionate about clean code, scalable architecture, and maintainable solutions
• 🎨 Enthusiastic about UX/UI design and creating intuitive user experiences
• 🗣️ Languages: Portuguese (Native), English (Fluent), French (Fluent)

• TypeScript/JavaScript: Expert in modern ES6+ features, TypeScript type systems, functional programming paradigms, and advanced design patterns
• React Ecosystem: Deep knowledge of React.js, Next.js, hooks, context API, and component architecture
• UI Frameworks: Proficient with Material UI, Tailwind CSS, Bootstrap, and custom design systems
• State Management: Redux, RTK Query, TanStack React Query, Context API, and state machines for predictable application behavior
• Data Handling: TanStack React Table for complex data grids, custom hooks for data fetching and caching
• Build Tools: Webpack, Vite, ESBuild, and optimization techniques for production applications

• Node.js: Express.js, Nest.js, and RESTful API design principles
• Database Technologies: MongoDB with Mongoose, PostgreSQL with TypeORM/Prisma, and MySQL
• API Design: RESTful architecture, GraphQL, and WebSockets for real-time applications
• Authentication: JWT, OAuth2, and secure session management implementations

• AWS Services: EC2, S3, Amplify, Elastic Beanstalk, Lambda, DynamoDB, and serverless architectures
• Containerization: Docker, Kubernetes for application deployment and orchestration
• CI/CD: Automated testing, deployment pipelines, and infrastructure as code

• Architecture Patterns: MVC, MVVM, clean architecture, and domain-driven design
• Code Quality: TDD with Jest, code reviews, static analysis, and linting
• Performance Optimization: Profiling, caching strategies, and bundle size reduction techniques

• 2018 - Computer Science (Ph.D.) - Trinity College Dublin, Ireland

  • Software Engineering • Formal Methods
  • Thesis: Model-Checking Circus with FDR using Circus2CSP

• 2012 - Computer Science (M.Sc.) - University of York, England

  • Software Engineering • Formal Methods
  • Thesis: Formal Specification of the ARINC 653 Architecture Using Circus

• 2010 - Computer Science (B.Sc.) - Federal University of Rio G. do Norte, Brazil

  • Software Engineering • Formal Methods
  • Thesis: Formal Development of a Cardiac Pacemaker: From Specification to Code

• Technical Leadership: Mentoring junior developers, architecting solutions, and driving technical decisions
• Problem Solving: Breaking down complex requirements into manageable components
• Code Quality Advocacy: Championing DRY principles, SOLID design, and clean code practices
• Cross-functional Collaboration: Bridging technical and business requirements effectively
• Continuous Learning: Staying current with emerging technologies and best practices

• Deepening expertise in TypeScript design patterns for scalable applications
• Advanced component architecture and composition patterns in React
• Mobile app development with React Native for cross-platform solutions
• Mastering AWS serverless architecture with Lambda and DynamoDB
• Modern data management with RTK Query and TanStack React Query
• Performance optimization for complex data visualizations and tables
• AI-assisted development workflows with prompt engineering, RAG (Retrieval Augmented Generation), and MCP (Multiple Choice Prompting) techniques

• In my PhD thesis, I wrote a translation tool using Haskell, a functional language, which transformed my perspective on programming paradigms
• I worked as a professional photographer for weddings and graduation ceremonies during my college years
• I've traveled to 21 countries: 🇧🇷 🇫🇷 🇩🇪 🇧🇪 🇳🇱 🇬🇧 🇵🇹 🇧🇴 🇮🇪 🇪🇸 🏴󠁧󠁢󠁷󠁬󠁳󠁿 🇭🇷 🇦🇹 🇮🇹 🇨🇾 🇨🇿 🇦🇪 🇹🇭 🇦🇷 🇺🇾