Our research group is active in the area of computer systems modeling, performance evaluation, and privacy engineering. We develop mathematical models and analysis methodologies for the efficient evaluation of systems at design time.
We have successfully applied these techniques to improve P2P streaming systems, reduce power consumption in datacenters, schedule jobs across geo-distributed systems, evaluate reliability of software architectures, define pricing mechanisms for cloud services, design cyber-insurance markets.