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:
- Scala Days 2023 (Online Conference on 1st - 30th December 2023)
- Source Talks: On Scala #4 (Online Meetup on 30th January 2023)
- How to teach IntelliJ IDEA to your juniors (Online Meetup on 2nd February 2023)
- Taming the Context Beast (SkillsCast recorded in October 2022)
- The Middle Way for Static Typing in Spark DataFrames (SkillsCast recorded in October 2022)
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.