Dedicated to designing and developing scalable, efficient, secure and robust systems that deliver value to businesses and users. Committed to lifelong learning, continuous improvement, and both personal and professional growth. Enthusiastic about the future of software engineering and eager to be a meaningful contributor to it.Primarily experienced in backend Java development, with expertise in Elasticsearch, MongoDB, and building HTTP RESTful APIs. Proficient in additional technologies such as Node.js, TypeScript, JavaScript, Python, and relational databases like PostgreSQL and MySQL.I hold a Bachelor's Degree in Computer Science with Honors from the Federal University of Minas Gerais (UFMG), where I've had the opportunity to contribute to the Laboratório de Engenharia de Computadores (LECOM - DCC UFMG) as a research member. My time at LECOM included publishing research on network routing protocols for underwater wireless networks, which gave me a deep understanding of the challenges and opportunities in the field of distributed systems.I’m deeply interested in areas and concepts that support the development of modern, resilient, secure, high-performance, and maintainable software systems, including:* Software architecture* Distributed systems* Test-Driven Development (TDD) & Behavior-Driven Development (BDD)* API design* Domain-Driven Design (DDD) * Command Query Responsibility Segregation (CQRS)* Domain storytelling, event storming and event modeling * Event sourcing* Bi-temporality* Observability (2.0, canonical logs)* Event-driven architectures* Continuous delivery, trunk-based development, feature toggles* Personal knowledge management* DevOps* (Pure) functional programming* Formal methods* Static analysis* Dependent types* Type-driven development * Agile and Lean methodologies* Cybersecurity, with a focus on security-by-design, zero-trust architecture, object capabilities (OCaps), capability-based security, and supply chain security* Hoare logic, Design by contract (DbC), Correctness-by-construction (CbC), and Proof-driven development* Dijkstra's vision of software correctness* Fuzzing, property-based testing, deterministic simulation testing* Performance, both optimization and by design, including profiling, benchmarking, mechanical sympathy, and data-oriented design (DoD)* Actor model* Effective software documentation, including docs-as-code and Architecture Decision Records (ADRs)* Technical debt management* Chaos engineering* Human-Computer Interaction (HCI), UX and DevEX* Domain-Specific Languages (DSLs)