|

I’m a software developer who enjoys logic puzzles, paradoxes, problem-solving, and formal philosophy. In my spare time, I do some writing and research. My tech interests include AI, virtual reality, the semantic web, Python, and JavaScript/React. I also like to do things outside.

Formerly, I was 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. 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.