The Duck of Minerva has recently started a series of podcasts, the most recent of which features yours truly. I discuss the uses of formal models and a few of my current research projects.
We had some technical difficulties recording the conversation, so unfortunately it ends abruptly and there are some parts with significant hiccups, but hopefully you'll still find it worth a listen.
Any feedback would be greatly appreciated.
3 weeks ago