Ian Shillito
About
Publications
Teaching
Talks
CV

Ian Shillito

Ian Shillito

he/him

Logician formalising in Rocq

Melbourne, Australia
University of Melbourne
Email
Google Scholar
ORCID
GitHub

Towards computing uniform interpolants for KM in Rocq

Proof Society Workshop 2025, 2025

Ian Shillito

← All publications

GitHub

© 2026 Ian Shillito, Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.
Site last updated 2026-09-13