I'm a mathematician and theoretical computer scientist working on the formal verification of distributed systems grounded in logic programming. During my bachelor and master degrees in mathematics at the University of Trieste, I grew especially enthusiast of mathematical logic and graduated with thesis on the formalization of the foundations of non-standard analysis in a proof-checker (bachelor) and on the exploitation of model-theoretic properties of Datalog-like languages for coordination-free evaluation of distributed queries (master). That experience led me to join the KRDB Research Center as a Ph.D. student. My job is to chart the decidability and complexity boundary of model-checking of declarative distributed systems with the aim to provide automatic tools to perform the analysis.