A very warm welcome to Daniele Nantes Sobrinho, who has joined the group as a research assistant. 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. You can see her latest publications here.