이 에피소드에 관해
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
