SPONSOR

ABOUT THIS PODCAST

Podcast by Arthur Falls
English
United States
120 episodes
since Jun, 2014

LATEST EPISODE

Subodh Sharma is a professor of computer science at IIT Delhi, one of the most prestigious universities in India. While he’s not teaching, Subodh conducts research into the formal verification of distributed systems, and his work on the automated formal verification of smart contacts has drawn international interest. I called up Subodh because I was looking for someone to explain an approach to writing software called the actor model. The actor model essentially involves sandboxing tasks in such a way that complexity is minimized and all behaviors of a software system can be known under all conditions. Currently the actor model is applied to the management of telecommunications networks through the Erlang language, and also in secure servers. Understanding the way robust distributed systems are constructed assists in the assessment of platform designs and gives us a view into the future of the ultimate distributed system - the Third Web.
Disclaimer: The podcast and artwork embedded on this page are from Arthur Falls, which is the property of its owner and not affiliated with or endorsed by Listen Notes, Inc.

CLAIM THIS PODCAST

Why to claim podcasts?

If you are a podcaster, the best way to manage your podcasts on Listen Notes is by claiming your Listen Notes podcast pages. It is a great, free way to engage the podcast community and increase the visibility of your podcasts.
After claiming your Listen Notes podcast pages, you will be able to:
Manually refresh the RSS feed to sync up
Get a verified badge (
Claimed
) alongside with your podcast name on Listen Notes
Post classified ads for sponsorship, guests, co-hosts, cross-promotion...
Self-service promotion on Listen Notes
Coming soon:
Use speech-to-text techniques to transcribe your show and edit transcripts
Improve the presence of your podcasts, e.g., self served podcaster interview...
Respond to listener comments on Listen Notes
Track your podcast stats on Listen Notes, e.g., listens, page views...
Manage episodes

EDIT

Thank you for helping to keep the podcast database up to date.
SPONSOR
ELSEWHERE

RECOMMENDATIONS

ADS