Please log in to watch this conference skillscast.
YOU MAY ALSO LIKE:
- What is happening with Java? (Online Meetup on 6th June 2022)
- WebAssembly for Java Developers (Online Meetup on 8th June 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)
Lightning Talk: Formally Verifying Complex Systems Using TLA+
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.