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.