Personal tools
You are here: Home Visiting researcher: Cristian Versari (Bologna, Italy)
Document Actions

Visiting researcher: Cristian Versari (Bologna, Italy)

last modified 2010-06-15 10:59

from 26th - 31th July in cooperation with Mattias John

Cristian Versari is a young researcher in the filed of Computational Systems Biology who just finished his PhD at the University of Bologna. He was the first to investigate on a general formalization of the modeling of compartments with dynamically changing structures and volumes. He introduced a Pi-Calculus based modeling language, called pi@, which nicely generalizes the special purpose operations for modeling compartments of other formalisms like BioAmbients or Brane Calucli. In this context, he showed that in the modeling of distributed systems, priorities, which are a major ingredient of pi@, allow for more expressive languages than widely used communciation paradigms like synchronization or broadcasting. By this means, his work is not only a valueable contribution to the field of Computational Systems Biology but also to the fields of Concurrency Theory and Programming Languages, which is underlined by his publications at conferences like CMSB, CONCUR, and ESOP. Currently, Cristian follows the hot topic of introducing rule-based languages to the filed of Computational Systems Biology, as they are assumed to provide more natural ways of modeling reaction networks than object-oriented approaches like the Pi-Calculus.

Invited Talk on 29th July 2009 in BATSĀ 

Abstract:

Biochemical compartment modelling in pi@

The recent application of process algebras to biological modelling led to the introduction of several bio-oriented calculi characterised by the explicit presence of compartments. In this talk we present "pi@", a core calculus based on the pi-calculus which constitutes a very conservative and flexible approach to compartment modelling, thanks to the presence of polyadic synchronisation and priorities. After some simple modelling examples, we discuss the expressive power of the calculus by sketching the main ideas which allow the encoding of complex compartment operations.


Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: