Photo of Daniele Nantes
  d.nantes-sobrinho@imperial.ac.uk

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.

Group Publications

  1. A Certified Algorithm for AC-Unification

    • Mauricio Ayala-Rincón
    • Maribel Fernández
    • Gabriel Ferreira Silva
    • Daniele Nantes

    7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), pp. 8:1–8:21

  2. Nominal Anti-Unification with Atom-Variables

    7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), pp. 7:1–7:22

  3. Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes

    27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference), pp. 11:1–11:24