Semi-Automated Program Synthesis: A research project centered around program synthesis,
the process of generating a program from specifications.
Our approach is uses type theory and proof search.
KFic on KDIC 88.5:
A weekly radio show where my co-host and I perform selected
classic and recent short stories, original writing,
and fan fiction.