My main research interests regard the formal description of interaction in computational systems and theories and tools for reasoning about such descriptions. This stream of research spawns form Theoretical Computer Science, Concurrency Theory in particular.
I applied it to a number of domains, including Software Composition, CyberSecurity, Crowd Dynamics, Systems Biology and Bioinformatics. Applications in Systems Biology see living systems as ‘computational’ systems, consisting of (large numbers) of autonomous and interacting entities. Models serves as ‘virtual labs’ where the various hypotheses about the functioning of the systems can be investigated.
More recently I have been interested in the modelling and understanding of Blockchain Technologies and Applications, seen as a decentralised computer, a fascinating and challenging problem enriching the idea of distributed computation.