<

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.

Past conferences

Veronica Lopez
Code Mesh LDN 2018
08 Nov 2018
11.25 - 12.10

Verifying a distributed system with combinatorial topology (INTERMEDIATE)

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 maths 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.

OBJECTIVES

Propose a faster way to verify a distributed system, communicating the application of combinatorial topology in real world problems.