Research Projects

Active research projects exploring functional programming, formal methods, and AI systems.

Scheme Formal Verification

TLA+ bridge for Scheme verification with property-based testing

scheme formal-methods tla+ verification

Functional implementations of advanced data structures from MIT's graduate course

data-structures algorithms functional-programming education

LLM-powered repository analysis and knowledge extraction

python llm ai code-analysis

Inductive program synthesis through reversible computation

program-synthesis reversible-computing meta-programming scheme