|

I'm a teacher, researcher, and software developer. I like logic puzzles, paradoxes, and formal philosophy. My research centers around natural language semantics and logic. I also like to write code and play with technology -- my tech interests include artifical intelligence, virtual reality, semantic web, Python, and JavaScript/React. I also like to do things outside.

I'm a professor at the University of Edinburgh -- or, officially a Reader. I did my PhD at Australian National University, and my BA and MA at University of Oregon and UC Boulder, respectively. I'm also a software engineer making, among other things, educational web applications. You can see my academic work here, my software projects here, and my talks/teaching here. My software resume is here and my academic CV is here.