This video was recorded at Code Mesh LDN 18 http://bit.ly/2P7SPII Get involved in Code Sync's next conference http://bit.ly/2Mcm4aS --- VERIFYING A DISTRIBUTED SYSTEM WITH COMBINATORIAL TOPOLOGY by Veronica Lopez THIS TALK IN THREE WORDS: Math DistSys Connectivity TALK LEVEL: Intermediate ABSTRACT Formal verification of distributed systems is hard and expensive. Modern systems rely on tools like observability, extensive testing, and more recenty, chaos engineering. Understanding the math behind distributed computing, and being able to express systems in terms of algebraic topology and graph theory brings a new possibility of formal verification and a new approach towards solving complex problems and their interconnections. Read the full abstract: http://codesync.global/speaker/veronica-lopez/ --- THE SPEAKER - VERONICA LOPEZ Sr. Software Engineer Veronica is a former physicist turned computer scientist, who currently finds joy building distributed systems with Go and Elixir, and trying to make physics and computers converge. More on Veronica Lopez: http://codesync.global/speaker/veronica-lopez/ --- CODE SYNC & CODE MESH LDN 18 Code Mesh LDN is powered by Code Sync. Code Mesh LDN 18 was sponsored by WhatsApp, Toyota Connected, Erlang Solutions, TEAMango, and aeternity. CODE SYNC Website: www.codesync.global Twitter: www.twitter.com/CodeMeshIO Facebook: https://www.facebook.com/CodeSyncGlobal LinkedIn: https://www.linkedin.com/company/code-sync/ Mail: info at codesync.global #CodeMesh #FormalVerification #DistributedSystems #Connectivity