Visit of Mirco Tribastone
Mirco Tribastone talk on topic "Automatic simplification of large-scale reaction networks."
Mirco Tribastone is Associate Professor of Computer Science within the SysMA research unit of IMT Lucca. He is interested in the quantitative modeling and analysis of concurrent and distributed systems using mathematical tools such as stochastic processes (in particular Markov chains) and differential equations, as well as higher-level formalisms such as process algebra and queueing networks. A major general theme of his research is to develop effective techniques for the analysis of large-scale models where massive amounts of entities are involved. [Read more]