Website: https://mathmach.github.io
Contact: matheusmgduarte@outlook.com | LinkedIn | GitHub
This repository serves as the personal portfolio, virtual executive resume, and professional engineering knowledge base of Matheus Machado Guerzoni Duarte.
With over 10+ years of production experience (since 2016), Matheus specializes in the architecture, evolution, and support of distributed, mission-critical systems across the financial, agricultural, and telecommunications sectors. He has engineered scalable microservices, high-stakes APIs, and geospatial monitoring pipelines for leading institutions, including Santander LATAM, Banco do Brasil, and Itaú.
- Production Provenance: Enterprise delivery across credit ecosystems (Auto financing Santander LATAM), nationwide agricultural risk monitoring (Audsat), and financial market intelligence (Anbima Data).
- Academic Rigor: Bachelor's Degree in Information Systems (3,480 curricular hours, FAI — Santa Rita do Sapucaí / "Vale da Eletrônica") and verified certificate in CS50x: Introduction to Computer Science (HarvardX).
-
Applied Engineering Methodology: Systems engineering lifecycles (ISO/IEC/IEEE 15288), Clean Architecture & Domain-Driven Design (DDD), Hexagonal Ports & Adapters, 23 GoF design patterns, and asymptotic performance guarantees (
$\mathcal{O}(1)/\mathcal{O}(\log n)$ , Little's Law, USL). - Disciplined AI Integration: Practical adoption of Generative AI / LLMs grounded in empirical skepticism, live AST symbol inspection, schema validation, and zero fallback debt.
The documentation catalog below reflects the concepts, patterns, and principles studied and applied throughout Matheus's academic formation and professional career:
- SOLID Design Principles: Mathematical definitions of SRP, OCP, LSP, ISP, and DIP.
- GoF Design Patterns: Complete catalog of 23 classic GoF patterns with canonical architectures and anti-patterns.
- Clean Architecture & DDD: Concentric layer boundaries, Pure Domain isolation, and Branded Types.
-
Hexagonal Ports & Adapters: Inbound/Outbound driver-driven ports, Thin Controllers (
$\le 300$ LOC), and isolated testability. - Distributed Systems Theory: CAP, PACELC, FLP Impossibility (1985), Lamport Clocks (1978), and the End-to-End Principle (1984).
- Distributed Resilience Patterns: Compensating Sagas, Transactional Outbox, Circuit Breakers, and Idempotency Ledgers.
- Database Internals & Transactions: B+ Tree vs. LSM storage engines, ARIES WAL recovery, and ANSI SQL isolation anomalies.
- Observability & Evidence-Based Decisions: OpenTelemetry full-stack instrumentation, 4 Golden Signals, RED/USE methods, quantitative reliability contracts (SLI, SLO & Error Budgets), and blameless post-mortems.
-
Engineering Quality Invariants: Zero Fallback Debt (7 golden rules), Zero Orphan Surfaces, and Cognitive Complexity Ceilings (
$\le 15$ ). -
GitFlow & Branching Strategy: Ephemeral branches (
$\le 48\text{h}$ ), Three Concentric Quality Rings (pre-commit, CI, CD), secrets sanitization with Gitleaks, and conventional PR convergence gates. - Automated Testing Strategy: Boehm verification vs. validation, testing trophy/pyramid taxonomy (Unit, Integration, E2E), Gerard Meszaros test double taxonomy, hexagonal boundary isolation, and unidirectional coverage ratchets.
- Systems Engineering & Dependability: ISO/IEC/IEEE 15288:2023, Boehm V&V formalism (1981), Pugh Selection Matrix, and Avizienis taxonomy.
-
Computational Complexity & Performance: Landau Big-O notation (Knuth 1976), Little's Law (
$L = \lambda W$ ), Universal Scalability Law (Gunther USL), and CPU Cache locality. - Design Science Research (DSR): Peffers 6-stage process model (2007) and Hevner 7 guidelines (2004) for software research artifacts.
Below are the seminal academic papers, books, and international standards that form the foundation of Matheus's continuous studies, university curriculum, and professional practice:
| Author(s) & Year | Title / Work | Domain / Field | Official Source / Reference |
|---|---|---|---|
| Hevner et al. (2004) | Design Science in Information Systems Research | Research Methodology | MIS Quarterly (DOI: 10.2307/25148625) |
| Peffers et al. (2007) | A Design Science Research Methodology for IS | Research Methodology | Journal of MIS (DOI: 10.2753/MIS0742-1222240302) |
| ISO/IEC/IEEE 15288:2023 | Systems and software engineering — System life cycle processes | Systems Engineering | IEEE / ISO (DOI: 10.1109/IEEESTD.2023.10123367) |
| Barry W. Boehm (1981) | Software Engineering Economics (V&V Formalism) | Systems Engineering | Prentice-Hall / Archive.org |
| Stuart Pugh (1991) | Total Design: Integrated Methods for Successful Product Engineering | Systems Engineering | Addison-Wesley / Archive.org |
| Ludwig von Bertalanffy (1968) | General System Theory: Foundations, Development, Applications | Systems Theory | George Braziller / Archive.org |
| Norbert Wiener (1948) | Cybernetics: Or Control and Communication in the Animal and the Machine | Systems & Cybernetics | MIT Press / Wikipedia |
| Avizienis et al. (2004) | Basic Concepts and Taxonomy of Dependable and Secure Computing | Reliability & Resilience | IEEE TDSC (DOI: 10.1109/TDSC.2004.2) |
| Donald E. Knuth (1976) | Big Omicron and big Omega and big Theta | Computational Complexity | ACM SIGACT (DOI: 10.1145/1008328.1008329) |
| John D. C. Little (1961) | A Proof for the Queuing Formula: L = lambda W | Queuing Theory | Operations Research (DOI: 10.1287/opre.9.3.383) |
| Gene M. Amdahl (1967) | Validity of the Single Processor Approach (Amdahl's Law) | Concurrency & Parallelism | AFIPS '67 (DOI: 10.1145/1465482.1465560) |
| Neil J. Gunther (2008) | A General Theory of Computational Scalability (USL) | Performance & Scalability | arXiv:0808.1431 (DOI: 10.48550/arXiv.0808.1431) |
| Barbara Liskov & J. Wing (1994) | A Behavioral Notion of Subtyping (LSP) | Software Architecture | ACM TOPLAS (DOI: 10.1145/197320.197383) |
| Alistair Cockburn (2005) | Hexagonal Architecture (Ports and Adapters) | Software Architecture | Alistair Cockburn Series |
| Fischer, Lynch, Paterson (1985) | Impossibility of Distributed Consensus with One Faulty Process (FLP) | Distributed Systems | Journal of the ACM (DOI: 10.1145/3149.214121) |
| Leslie Lamport (1978) | Time, Clocks, and the Ordering of Events in a Distributed System | Distributed Systems | Communications of the ACM (DOI: 10.1145/359545.359563) |
| Saltzer, Reed, Clark (1984) | End-to-End Arguments in System Design | Distributed Systems | ACM TOCS (DOI: 10.1145/357401.357402) |
| Daniel J. Abadi (2012) | Consistency Tradeoffs in Modern Distributed Database Design (PACELC) | Distributed Databases | IEEE Computer (DOI: 10.1109/MC.2012.33) |
| Garcia-Molina & Salem (1987) | Sagas | Distributed Transactions | ACM SIGMOD '87 (DOI: 10.1145/38713.38742) |
| C. Mohan et al. (1992) | ARIES: A Transaction Recovery Method | Database Internals | ACM TODS (DOI: 10.1145/128765.128770) |
| Edgar F. Codd (1970) | A Relational Model of Data for Large Shared Data Banks | Database Foundations | Communications of the ACM (DOI: 10.1145/362384.362685) |
| Beyer et al. (Google SRE 2016) | Site Reliability Engineering: How Google Runs Production Systems | Systems Reliability & SLOs | O'Reilly Media (ISBN: 978-1491929124) |
| Sigelman et al. (Google Dapper 2010) | Dapper, a Large-Scale Distributed Systems Tracing Infrastructure | Distributed Observability | Google Technical Report |
| Tom Wilkie (2017) | The RED Method: How to Instrument Your Services | Telemetry Architecture | Microservices Practitioner Summit |
| Vincent Driessen (2010) | A successful Git branching model (GitFlow) | Version Control & Branching | nvie.com |
| Tom Preston-Werner (2013) | Semantic Versioning 2.0.0 (SemVer Specification) | Release Engineering | semver.org |
| Brun et al. (2011) | Proactive Detection of Collaboration Conflicts | Empirical Software Engineering | ACM SIGSOFT ESEC/FSE (DOI: 10.1145/2025113.2025139) |
| Mike Cohn (2009) | Succeeding with Agile: Software Development Using Scrum (The Test Pyramid) | Verification Architecture | Mountain Goat / Martin Fowler |
| Gerard Meszaros (2007) | xUnit Test Patterns: Refactoring Test Code (Test Doubles Taxonomy) | Software Verification & Testing | Addison-Wesley (ISBN: 978-0131495050) |
© 2026 Matheus Machado Guerzoni Duarte. Released under the MIT License.