From 93f880cd0afe49c871c6a03fab6cb1b19ad9dc64 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 13 May 2022 17:16:56 +0000 Subject: [PATCH] Add new file --- _people/nantes.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 _people/nantes.md diff --git a/_people/nantes.md b/_people/nantes.md new file mode 100644 index 0000000..c42aece --- /dev/null +++ b/_people/nantes.md @@ -0,0 +1,12 @@ +firstname: Daniele +lastname: Nantes Sobrinho +position: Researcher +webpage: +email: d.nantes-sobrinho@imperial.ac.uk +github: +alumnus: false +projects: + +[Daniele](https://mat.unb.br/dnantes/) 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)](https://www.mat.unb.br/ayala/TCgroup/index.html), and an external collaborator of the[] VIDI project Unifying Correctness for Communicating Systems](https://www.jperez.nl/vidi). Her latest publications are [Formalising nominal C-unification generalised with protected variables](0299ECF29C28FDD65AAE38E73BF28FE3), published in Mathematical Structures for Computer Science, and the conference papers [Nominal Equational Problems](https://link.springer.com/chapter/10.1007/978-3-030-71995-1_2), published in ETAPS’ Foundations of Software Science and Computation Structures (FOSSACS 2021) series, and [Non-deterministic Functions as Non-Deterministic Processes](https://drops.dagstuhl.de/opus/volltexte/2021/14259/), in Formal Structures for Computation and Deduction (FSCD 2021) series. -- GitLab