About

I'm Eduardo Kohn, a senior software engineer with more than ten years of experience building and operating production systems across banking, retail, consumer products, and enterprise environments. My background spans Java and the JVM, distributed systems, automated testing, software architecture, CI/CD, containers, and cloud infrastructure. I've worked across the full software lifecycle, from architecture and implementation to deployment, production operations, technical standards, and team leadership.

Since February 2026, I have worked independently at the intersection of program analysis, software reliability, and reproducible research tooling. I designed and implemented the Aquila Graph POC, an inspectable experiment that combines static and runtime Java facts in a provenance-preserving graph. The project includes reproducible workflows for execution, verification, testing, and evidence collection, grounded in work with JVM bytecode, control-flow and call graphs, and static/runtime identity reconciliation.

My current interests include static and dynamic analysis, software testing, JVM internals, security-relevant code analysis, and empirical software engineering. I care about the underlying methods rather than limiting the work to a particular programming language. I am open to collaborating with academic and applied-research teams where hands-on software engineering can strengthen research tools, experiments, and infrastructure.

I'm an active open-source contributor, with six merged pull requests across the Phoenix framework and Zeek. Four in Phoenix cover query-string encoding, code generation, installer crash handling, and documentation fixes; two in Zeek add btests for Python bytecode file signatures and error cases in expression handling. I also build and maintain timekeeper-countdown and erli18n, my TypeScript countdown packages and pure-Erlang internationalization tooling.

Before working independently, I held engineering and technical-leadership roles at Capgemini, Leroy Merlin, AB InBev, EY, Livelo Brasil, Semantix Brasil, and Hubchain Technologies. Across those roles, I developed Java and Spring Boot services, React and TypeScript interfaces, and React Native applications; worked with relational and NoSQL databases, Kafka, Docker, Kubernetes, and AWS; and helped establish architecture, testing, accessibility, delivery, and design-system standards.

I am pursuing a Bachelor's degree in Computer Science at Universidade São Judas Tadeu (2024–2028) and hold a Bachelor's degree in Business Administration from UNISBA (2003–2007). I am based in Ashland, Ohio, United States.

This blog is where I think in public, writing as I work through program analysis, software reliability, distributed systems, networking, performance, testing, and production software internals. Papers are longer pieces developed with scientific rigour; Posts are shorter notes that share an idea while it is still taking shape.

Find me on GitHub, LinkedIn, or subscribe to the newsletter to get new pieces by email.