My current research interests are concerned with process calculi, concurrency theory and their application in the modelling and analysis of biological systems.

At the present I'm working on BlenX, a process calculi based programming language. My PhD thesis is centred on the definition of the BlenX language, the study of its expressive power and its properties and the implementation of the Beta Workbench, a collection of tools built on top of BlenX. I worked also in the definition and implementation of a framework that combines BlenX and evolutionary algorithms to study and simulate the neo-darwinian evolution of biological networks. Currently, I'm collaborating with other CoSBi researchers in using BlenX to model and study real biological scenarios.

Recently, in cooperation with Benjamin C. Pierce and Daniel Wagner we explored a new design space for process calculi, where processes live at the nodes in an edge-labelled graph, evolving by local structural mutations. We studied a variety of calculi in this space and analyzed their expressive power, focusing on a kernel calculus (the Spider Calculus) that is both minimal and expressive.