Expert Overview
Things I'm Doing
Talks I've Given
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.
 
Talks I've Given
-
Lightning Talk: Formally Verifying Complex Systems Using TLA+
Featuring Ruben Berenguel
Designing interactions across systems can be complex. Microservices, actors, threads: anything involving communication or sharing can lead to complex state machines that are then hard to test and reason about.
TLA+ is a formal specification language created by Leslie Lamport (Paxos, LaTeX, Turing...
scala akka tla pluscal scalax