Sobre

Sou Eduardo Kohn, engenheiro de software sênior com mais de dez anos de experiência construindo e operando sistemas de produção nos setores bancário, varejista, de produtos de consumo e em ambientes corporativos. Minha experiência abrange Java e a JVM, sistemas distribuídos, testes automatizados, arquitetura de software, CI/CD, containers e infraestrutura em nuvem. Atuei em todo o ciclo de software, da arquitetura e implementação ao deploy, operação em produção, definição de padrões técnicos e liderança de equipes.

Desde fevereiro de 2026, trabalho de forma independente na interseção entre análise de programas, confiabilidade de software e tooling de pesquisa reproduzível. Projetei e implementei o Aquila Graph POC, um experimento inspecionável que combina fatos estáticos e de runtime de Java em um grafo que preserva a proveniência. O projeto inclui fluxos reprodutíveis de execução, verificação, testes e coleta de evidências, fundamentados em bytecode da JVM, grafos de fluxo de controle e de chamadas e reconciliação de identidades entre análise estática e runtime.

Meus interesses atuais incluem análise estática e dinâmica, testes de software, detalhes internos da JVM, análise de código relevante para segurança e engenharia de software empírica. Meu interesse está nos métodos fundamentais, sem limitar o trabalho a uma linguagem de programação específica. Estou aberto a colaborar com equipes acadêmicas e de pesquisa aplicada nas quais uma engenharia de software prática e rigorosa possa fortalecer ferramentas, experimentos e infraestrutura de pesquisa.

Sou contribuidor ativo de open source, com seis pull requests aceitos, distribuídos entre o framework Phoenix e o Zeek. Quatro no Phoenix abrangem encoding de query-string, geração de código, tratamento de crash no installer e correções de documentação; dois no Zeek adicionam btests para assinaturas de arquivos de bytecode Python e casos de erro no processamento de expressões. Também desenvolvo e mantenho o timekeeper-countdown e o erli18n, meus pacotes TypeScript para contagem regressiva e meu tooling de internacionalização em Erlang puro.

Antes do trabalho independente, exerci funções de engenharia e liderança técnica na Capgemini, Leroy Merlin, AB InBev, EY, Livelo Brasil, Semantix Brasil e Hubchain Technologies. Nessas experiências, desenvolvi serviços com Java e Spring Boot, interfaces com React e TypeScript e aplicações React Native; trabalhei com bancos relacionais e NoSQL, Kafka, Docker, Kubernetes e AWS; e ajudei a estabelecer padrões de arquitetura, testes, acessibilidade, entrega e design systems.

Curso Bacharelado em Ciência da Computação na Universidade São Judas Tadeu (2024–2028) e sou bacharel em Administração pela UNISBA (2003–2007). Moro em Ashland, Ohio, Estados Unidos.

Este blog é onde penso em público enquanto estudo análise de programas, confiabilidade de software, sistemas distribuídos, redes, performance, testes e detalhes internos de software em produção. Artigos são textos mais longos desenvolvidos com rigor científico; Posts são notas mais curtas que compartilham uma ideia enquanto ela ainda está tomando forma.

Encontre-me no GitHub, LinkedIn, ou inscreva-se na newsletter para receber novas publicações por email.