Personal profile
Biography
After studying logic in Paris, Helsinki, and Amsterdam, I spent four years (2018-2022) at the Australian National University (ANU) constituting a Ph.D. thesis under the supervision of Rajeev Goré. Straight after submitting my thesis, entitled "New Foundations for the Proof Theory of Bi-Intuitionistic and Provability Logics Mechanized in Coq", I became a postdoctoral fellow at the ANU, which is the role I am currently in.
Fingerprint
Dive into the research topics where Ian Shillito is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles