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 collaborated with the group during a long sabbatical leave.

Daniele’s research focuses 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. Compositional Symbolic Execution for the Next 700 Memory Models

    OOPSLA 2025

  2. Matching Plans for Frame Inference in Compositional Reasoning

    ECOOP 2024

  3. Compositional Symbolic Execution for Correctness and Incorrectness Reasoning

    ECOOP 2024

  4. A Certified Algorithm for AC-Unification

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

    Formal Structures for Computation and Deduction (FSCD) 2022

  5. Nominal Anti-Unification with Atom-Variables

    Formal Structures for Computation and Deduction (FSCD) 2022

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

    Types for Proofs and Programs (TYPES) 2021