
Aman Goel
@amangoelumich
Discovering LIFE.. Indian | Marian | Bansalite | IITian | Wolverine | Amazonian | Engineer
ID:302064323
https://aman-goel.github.io 20-05-2011 14:53:42
80 Tweets
107 Followers
196 Following

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.
forbes.com/sites/patrickm…



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




Automated reasoning's scientific frontiers - great article by Byron Cook on Amazon Science amazon.science/blog/automated…