#57 Compilers for Privacy-Preserving Computation, Category Theory, and Keeping a Good Rythm in your PhD - Raghav Malik
Failed to add items
Sorry, we are unable to add the item because your shopping basket is already at capacity.
Add to cart failed.
Please try again later
Add to wishlist failed.
Please try again later
Remove from wishlist failed.
Please try again later
Follow podcast failed
Unfollow podcast failed
#57 Compilers for Privacy-Preserving Computation, Category Theory, and Keeping a Good Rythm in your PhD - Raghav Malik
-
Narrated by:
-
Written by:
About this listen
Raghav Malik, has just defended his PhD on the topic of compilers for privacy-preserving computation, and that's a good chunk of our conversation.
He has also spent some years in grad school going down the rabbit hole to actually learn Category Theory in depth and from first principles, so I was deieing to ask him if category theory is really all that to learn the foundations of PL. In other words, does learning category theory really make you a better PL researcher?
Then, of course, I wouldn’t finish this episode without asking him how he coped with Mental Health during his PhD Journey.
LinksRaghav's Website
TTFA Patreon TTFA Merch Store TTFA Ko-Fi
adbl_web_anon_alc_button_suppression_c
No reviews yet