A short CV

Corrado Priami obtained his laurea and PhD degrees in computer science at the University of Pisa. He is currently professor at the University of Trento. He is the President and CEO of the Microsoft Research - University of Trento for Computational and Systems Biology (CoSBi). His research covers computational methods for systems biology, languages and models for mobile and distributed systems, operational semantics, automatic verification tools, performance prediction, security, integration of qualitative and quantitative analysis of complex systems.

Tutorial Abstract

The convergence between computer science and biology occurred in successive waves involving deeper and deeper concepts of computing. The current status makes computer science a suitable candidate to become a philosophical foundation for systems biology with the same importance as mathematics, chemistry and physics.
However, this great opportunity is not a free lunch. New development and a strong integration of different fields of computing are needed to cope with the challenges of systems biology: a complex and expanding applicative domain that can open completely new avenues of research in computing and eventually help it become a natural,  quantitative science. We will illustrate an algorithmic approach to systems biology relying on the BlenX programming language and its related computational environment.

References

Lorenzo Dematte', Corrado Priami, Alessandro Romanel
The Beta Workbench: a computational tool to study the dynamics of
biological systems.
Briefings in Bioinformatics. To appear, 2008

Lorenzo Dematte', Corrado Priami, Alessandro Romanel
The BlenX Language: A Tutorial
SFM 2008, LNCS 5016:313-365, Springer-Verlag , 2008

Lorenzo Dematte', Corrado Priami, Alessandro Romanel
Modelling and simulation of biological processes in BlenX.
SIGMETRICS Performance Evaluation Review 35(4): 32-39 (2008).

Lorenzo Dematte', Corrado Priami, Alessandro Romanel, Orkun Soyer
Evolving BlenX programs to simulate the evolution of biological networks
Theoretical Computer Science. In press, 2008

http://www.cosbi.eu/Rpty_Tech.php (TR 9 and 11/2008, 3/2007)
http://www.cosbi.eu/Rpty_Soft_BetaWB.php

Intended audience

The tutorial is intended for people interested in modeling dynamic (biological) systems whose evolution is driven by interactions.
Knowledge of some programming basics could help.