Discovering LIFE.. Indian | Marian | Bansalite | IITian | Wolverine | Amazonian | Engineer
https://aman-goel.github.io 20-05-2011 14:53:42
Great opportunity for PhD students!! At Database Systems Lab in AWS, we are working on a wide range of efforts towards ensuring correctness of distributed systems by integrating formal methods in all the stages of development process. Feel free to DM me or Ankush Desai
Learn more about Amazon Verified Permissions aws.amazon.com/blogs/security… #Reinvent22
I am speaking at Strange Loop Conf StrangeLoop this year! Formal Modeling and Analysis of Distributed Systems using P: github.com/p-org/P.
From #BattleBots to satellites, the Amazon re:MARS conference lineup showcases futuristic innovations that are actually being delivered today.
Curious about automated reasoning - The next episode of the Curiosity series where we dive into Automated Reasoning and Formal Verification with Byron Cook allthingsdistributed.com/2022/03/curiou… - #aws #allthingsdistributed
Congrats Ranjit Jhala,this a big deal and you deserve all of it.
Automated reasoning's scientific frontiers - great article by Byron Cook on Amazon Science amazon.science/blog/automated…