☕︎‧₊˚⏱٠࣪⋆💻₊˚ᵎ For work I research and implement statistical methods for ETL/ELT pipelines.

🌱🐧📦☁️ I am learning DevOps using KodeKloud, GitHub's CI/CD tools and DockerHub.

🔭🧮🤖 I started with Lean in 2018 and hope to do more, especially software verification.

∞✨🍩 I like Hopf Algebras and formal semantics and I try to reconcile the two — recently excited to find this paper.
Currently working on defining the Loday-Ronco Hopf Algebra on binary trees in Lean.

🧠⚠️ I am building a second brain with Obsidian and have a plan to get it running online.