Computer Science Nerdz 10.2019

  • TLA+
  • Formal Verification
  • Cloud Computing
  • AWS
  • Distributed Systems


Event took place .


Social Media

Talks and Speakers

Title: Why Amazon Chose TLA+

Abstract: Since 2011, engineers at Amazon have been using TLA+ to help solve difficult design problems in critical systems. A set of whitepapers that we will analyze describe the reasons why we chose TLA+ instead of other methods, and areas in which we would welcome further progress.

Wojciech Gawronski
Wojciech Gawronski

Bio: Principal Cloud Architect at Pattern Match

We use cookies to make your exploring a better experience. Click this bar to accept the terms of use.