Mirco Tribastone

Dr. Mirco Tribastone is Full Professor of Computer Science at IMT School for Advanced Studies in Lucca, Italy, where he leads the SySMA research unit and serves as Deputy Rector. His research focuses on quantitative modeling of concurrent and distributed systems using stochastic processes and differential equations.

Primary research streams:

• Algorithms for aggregation of dynamical systems
• Performance self-adaption of software systems
• Inference methods for probabilistic programs
• Formal methods for biological systems

Professor Tribastone has supervised numerous PhD students and leads research projects on cyber-physical systems and adaptive software. His tool development includes ERODE for differential equation analysis and DiffLQN for layered queuing networks.

Recent publications demonstrate advanced work in model reduction techniques for chemical reaction networks, optimal autoscaling for microservices, and novel approaches to quantum circuit verification.