I did my PhD in philosophy at the Australian National University. My dissertation project concerned issues at the foundations of natural language semantics involving compositionality, assertoric content, and context-dependence. A major focus of my research since then has been on the semantics of quantification and binding, and issues in the vicinity of Russell's antinomy of the variable—the historical issues, the foundational logical issues, and the relations to natural language semantics. I'm currently working on develoments of counterpart theory in relation to de re epistemic modality. I'm also interested in traditional philosophical problems, and in the deployment of formal methods in the service of addressing such problems, so think about puzzles and paradoxes having to do with truth, knowledge, modality, time, grounding, minds, etc.