Sign up to save your podcasts
Or
Share 63: Farhad Mehta
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
63: Farhad Mehta
On this episode of the Haskell Interlude, Andres Löh and Mike Sperber are joined by Farhad Mehta, a professor at OST Rapperswil, and one of the organizers of ZuriHac. Fahrad tells us about formal methods, building tunnels, the importance of education, and the complicated relationship between academia and industry.
View all episodes
By Haskell Podcast
5
1313 ratings
On this episode of the Haskell Interlude, Andres Löh and Mike Sperber are joined by Farhad Mehta, a professor at OST Rapperswil, and one of the organizers of ZuriHac. Fahrad tells us about formal methods, building tunnels, the importance of education, and the complicated relationship between academia and industry.
More shows like The Haskell Interlude
View all
Very Bad Wizards
2,668 Listeners
The Changelog: Software Development, Open Source
291 Listeners
Software Engineering Daily
624 Listeners
Talk Python To Me
588 Listeners
The Quanta Podcast
524 Listeners
Soft Skills Engineering
285 Listeners
CoRecursive: Coding Stories
188 Listeners
Iowa Type Theory Commute
19 Listeners
Machine Learning Street Talk (MLST)
89 Listeners
Dwarkesh Podcast
489 Listeners
Hard Fork
5,479 Listeners
Type Theory Forall
13 Listeners
Oxide and Friends
59 Listeners
Better Offline
548 Listeners
Complex Systems with Patrick McKenzie (patio11)
133 Listeners