SkillsCast
Lightning Talk: Formally Verifying Complex Systems Using TLA+
SkillsCast
About the Speaker
Photos
Please log in to watch this conference skillscast.
YOU MAY ALSO LIKE:
- ScalaCon 2022: Opening Keynote Networking Party (in London on 4th October 2022)
- ScalaCon 2022 (Online Conference on 4th - 8th October 2022)
- Team Topology - Enablement mode (Online Meetup on 6th October 2022)
- LJC: Monitoring Digital Experience to Determine Feature Effectiveness (Online Meetup on 11th October 2022)
- A History of Enterprise Monads (SkillsCast recorded in May 2021)
- Connecting the dots - building and structuring a functional application in Scala (SkillsCast recorded in May 2021)
Thank you to our sponsors and partners
Platinum
Gold
Silver
Bronze
Partners
Lightning Talk: Formally Verifying Complex Systems Using TLA+
Ruben Berenguel
Ruben Berenguel is a senior big data engineer consultant and occasional contributor for Spark (especially PySpark). PhD in Mathematics, he moved to data engineering where he works mostly with Scala, Python and Go designing and implementing big data pipelines in London and Barcelona.