Verified Software

Daniele is a tenured assistant professor at the Department of Mathematics, University of Brasília, and is currently in a long sabbatical leave.

Daniele’s research focusses on equational reasoning and comparative expressiveness of models and languages with concurrency. She was a researcher with the Theoretical Computer Science Group (GTC-UnB), and an external collaborator of the VIDI project Unifying Correctness for Communicating Systems. Her latest publications are Formalising nominal C-unification generalised with protected variables, published in Mathematical Structures for Computer Science, and the conference papers Nominal Equational Problems, published in ETAPS’ Foundations of Software Science and Computation Structures (FOSSACS 2021) series, and Non-deterministic Functions as Non-Deterministic Processes, in Formal Structures for Computation and Deduction (FSCD 2021) series.