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.
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
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