))
How math can change the way we write software forever with Jeremiah Dunham
Manage episode 401281407 series 3521932
Content provided by Allen Helton. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Allen Helton or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://ro.player.fm/legal.
Join Allen Helton and Jeremiah Dunham as they explore math in the world of computer science. Do developers use it as much as they thought they would or is it abstracted away to a point where we have no idea? What if there was a way to use math to prove the correctness of your code instead of writing unit tests? Guess what? It's possible. Tune into the episode as Allen and Jeremiah talk about the future of testing and exactly how you can (or can't) guarantee your code does what you expect it to.
About Jeremiah
Jeremiah is a Senior Software Development Manager on the AWS IAM Access Analyzer team. In 9+ years at Amazon, he's launched new services and features (AWS Elemental MediaStore and AWS IAM Access Analyzer custom policy checks), helped hundreds of people adopt AWS (including your podcast host!), received 10 patents, and spoken at several conferences, including re:Invent and re:Inforce. He cares deeply about using math to make the world a better place. When he's not thinking about things related to math, you'll probably find him running or enjoying a craft beer.
Links
- LinkedIn -https://www.linkedin.com/in/jdunham
- AWS IAM Access Analyzer - https://aws.amazon.com/iam/access-analyzer
- Custom Policy Check Science Blog - https://www.amazon.science/blog/custom-policy-checks-help-democratize-automated-reasoning
- Dafny - https://dafny.org
36 episoade
Distribuie
