Alberto Carretero is a Software Engineer in Canonical’s Office of the CTO and a key contributor to the dqlite team, where he focuses on correctness, formal methods, and the design and verification of distributed algorithms.

He has a background in both mathematics and computer science, though one gets more attention than the other these days.