Towards Verified AI: A Functional Programming Approach
Why the convergence of functional programming, formal methods, and AI systems presents unprecedented opportunities for building trustworthy intelligent systems.
Blog
Thoughts on functional programming, formal methods, and building verified systems.
Building Verified Systems in Scheme
Exploring the intersection of formal verification and functional programming through TLA+ specifications for Scheme programs.
Category Theory as a Programming Tool
How categorical thinking transforms the way we structure programs, with practical examples in Scheme.
Beyond Syntax: LLMs for Deep Code Understanding
Exploring how Large Language Models can provide semantic understanding of code that goes beyond traditional static analysis.