I've been on Mastodon for a year, so it's time for a new pinned #introduction post with an updated dog pic! I'm a lecturer in #computerScience at Australian National University #ANU in #Canberra , #Ngunnawal / #Ngambri country. I research #typeTheory , #logic , #proofTheory and a little #categoryTheory , and teach an intro to programming class in #Haskell . Sometimes I post about work; when I'm busy at work I'm more likely to post about #books , my #labradoodle , and other pleasant distractions

Hi! I am a philosopher and logician, and if you would like to understand the kind of work I do, the easiest way to get up to speed is to start with my little slip of a book “Proofs and Models in Philosophical Logic”. https://consequently.org/writing/pmpl-elements/

Now that my author copies of Logical Methods (written with @standefer) have arrived, I no longer have to worry about last-minute Christmas gift buying.

If you order *your* copies from MIT Press (or wherever else you get your books), you won’t get them in time for Christmas. It’s released to the whole world on January 3.

https://mitpress.mit.edu/9780262544849/

Quite a few #CallForPapers in my area just dropped, so I'll make a quick thread as a reference... #logic #TypeTheory #types #TCS #TheoreticalCS #ProofTheory #ITP #FormalMethods