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

Uniform interpolation with constructive diamond

IJCAR 2026, 2026

Iris van der Giessen and Ian Shillito

← All publications

GitHub

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