Type Theory Forall podcast

#41 The Value of PL (and) Education - Satnam Singh

0:00
1:41:04
Rewind 15 seconds
Fast Forward 15 seconds

Satnam Singh has got incredible experience in both academia and industry. He has worked in Google, Facebook, Microsoft, Microsoft Research, Xilinx, etc. He has been a lecturer in Glasgow, Birmingham and University of California for a couple of years. He has worked with many interesting tools such Coq, Haskell, Verilog, Tensorflow. These days he works at Groq, applying FP to design silicon for machine learning. In this episode we talk about the value of specification, the current state of academia, gaming the metrics, functional programming in hardware, bullying, among other things.

Links

More episodes from "Type Theory Forall"