Bio

I live near São Paulo, the largest financial and commercial hub in Latin America. I'm a backend software engineer with strong expertise in low-latency, high-performance critical systems, having worked with market data applications, payment applications, and risk analysis software.

Download CV (PDF) →

Current role

I’m a Software Engineer at Cetacea, working remotely from São Paulo. I build .NET backend services and contribute to the frontend, while helping the team adopt AI-native, spec-driven development workflows with coding agents such as Claude Code and OpenCode.

Education

MSc in Philosophy, specialization in Mathematical Logic — Unicamp (2010). Dissertation: "On the Foundations of Paraconsistent Logic Programming" (Portuguese: "Sobre os Fundamentos da Programação Lógica Paraconsistente").

BSc in Computer Engineering — Unicamp (2007).

Publications

Carnielli, W., Coniglio, M. E., Podiacki, R., & Rodrigues, T. (2014). "On the Way to a Wider Model Theory: Completeness Theorems for First-Order Logics of Formal Inconsistency." The Review of Symbolic Logic, 7(3), 548–578.
Coniglio, M. E., & Rodrigues, T. G. (2014). "Some Investigations on mbC and mCi." In C. A. Mortari (Ed.), Tópicos de lógicas não clássicas (pp. 11–70). NEL/UFSC.