Linda Brodo

Linda Brodo is Assistant Professor at the Language Science Department of the University of Sassari since 2004.

Initially, I was involved in the study of performance of distributed systems specified by process algebras, and applying the enhanced operational semantics. In order to apply a stochastic process algebra, I derived stochastic transition rates from real parameters, computed on existing systems, such as protocol communications. The goal was to get a unique framework, as the process algebras, to perform functional analysis together with performance analysis based on real data.

From April to July 2002, I was a visiting researcher at the Laboratory for Foundation of Computer Science (LFCS) at the University of Edinburgh, to collaborate with Stephen Gilmore and Jane Hillston. We compared the PEPAnets and the Enhanced pi-calculus by defining a translation from PEPAnets to pi-calculus. The work investigated how the PEPAnets locality could be expressed by a classical process algebra.

Since 2003, I'm working in the Computational Systems Biology area studying the expressiveness of process algebras. We have defined the stochastic semantics, implementing the SSA algorithm by Gillespie, for the BioAmbients which is the first process algebra modelling biological membranes.

We presented a symbolic semantics, introduced for studying open systems, for the Brane calculus; the scope was to analyze

partially specified biological systems.

From 2004 to 2010, I collaborated with the Computer Vision Laboratory at the Centro di Ricerca 'Porto Conte', in Alghero. We have investigated about a technique for a comparison between data related to the human perception of distinguishing features of human faces (collected by mean of a couple of experiments specifically set up for the purpose) and data computed by an existing algorithm, studied to select distinguishing features of human faces.

Since 2006, I'm working on the analysis of the security of communication protocols. We applied the Control Flow Analysis to define techniques based on semantics tags.

Recently I worked on a translation from the Mobile Ambients to the pi-calculus in order to investigate the differences between the two distributed paradigms.