top of page
I build intelligent open-world reasoning systems and tell stories with the tools of mathematical logic
This is my personal site with links to some of my previous academic talks; some of my papers, pre-prints and notes; and links to code I have developed for public use.
bottom of page