Articles

Dissertation

Presentations

Various manuscripts and notes

Miscellaneous

I am the author of the Exh Python PIP package to automate the computation of innocent exclusion exhaustification. Some informal notes about formal language theory: I wrote this semi-graphical software for typesetting trees in LateX: