Aman Goel(@amangoelumich) 's Twitter Profileg
Aman Goel

@amangoelumich

Discovering LIFE.. Indian | Marian | Bansalite | IITian | Wolverine | Amazonian | Engineer

ID:302064323

linkhttps://aman-goel.github.io calendar_today20-05-2011 14:53:42

80 Tweets

107 Followers

196 Following

Aman Goel(@amangoelumich) 's Twitter Profile Photo

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

account_circle
Ankush Desai(@ankushpd) 's Twitter Profile Photo

I am speaking at Strange Loop Conf StrangeLoop this year! Formal Modeling and Analysis of Distributed Systems using P: github.com/p-org/P.

I am speaking at @strangeloop_stl StrangeLoop this year! Formal Modeling and Analysis of Distributed Systems using P: github.com/p-org/P.
account_circle
Adam Selipsky(@aselipsky) 's Twitter Profile Photo

From to satellites, the Amazon re:MARS conference lineup showcases futuristic innovations that are actually being delivered today.
forbes.com/sites/patrickm…

account_circle
Murat Demirbas (Distributolog)(@muratdemirbas) 's Twitter Profile Photo

We look forward to your 1-2 page talk proposals for TLA+ conference (by July 1st).

TLA+ conference will be in person (Sept 22) in conjuction with Strange Loop (Sept 23-24)

conf.tlapl.us

thestrangeloop.com

account_circle
Werner Vogels(@Werner) 's Twitter Profile Photo

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… -

account_circle