In this episode, Andres and Mike are joined by Farhad Mehta, a professor at OST Rapperswil and one of the organizers of ZuriHac. He tells us about formal methods, building tunnels, and the complicated relationship between academia and industry.
16 Likes
Loved this - and the topic of more systematic thinking about software. This is basically what I aim for when I lay out my programs types, although I need quite reach Agda level correctness. It’s a practical, and somewhat consistent way of thinking
4 Likes