With Descartes at Versailles circa 2015.

I’m Dr. Rohan French. I did my PhD at Monash University in Australia under watchful eyes of Lloyd Humberstone, working on translations between modal logics.

From 2013-2014 I worked with Greg Restall and Jen Davoren on turning the University of Melbourne’s undergraduate logic course into a MOOC on Coursera, resulting in Logic: Language and Information 1 and Logic: Language and Information 2. One day I’ll probably put some of the Python programs I developed to put together the continuous assessment for the subject online here.

From 2015-2016 I was a postdoctoral researcher in the Netherlands, working with Associate Professor Catarina Dutilh Novaes on the Roots of Deduction project at the University of Groningen, where I worked on various connections between proof-theory and dialogue games.

My research is focused on issues in philosophical logic and the philosophy of logic. I’m particularly interested in issues concerning philosophical proof-theory (esp. proof-theory for weak quantificational logics, modal logics and varieties of inferentialism), modal logic (esp. first- and higher-order modal logics, and issues involving expressive power), translations between logics, and issues involving substructural logics. I’m generally interested in any area of philosophy where formal methods can be fruitfully applied.

When I’m not doing research I usually spend my time reading science-fiction and fantasy novels, listening to music and playing computer games.

I drink a lot of coffee (I recomend Black & Bloom if you’re in Groningen, and Market Lane Coffee if you’re in Melbourne).