Skip to content

Libera Università di Bolzano

Francesco Di Cosmo

Short bio

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.


Introduction to Databases

76209 · ING-INF/05 · Corso di laurea in Informatica · EN

Macroaree di ricerca

Formal Verification. Model Checking. Distributed systems. Logic Programming. Data-aware Processes.