Author

Doriana Medić is a Computer Science research fellow at the University of Turin. She obtained her Ph.D. degree in Computer Science and Systems Engineering at IMT School for Advanced Studies Lucca with a thesis on the expressiveness of calculi for reversible concurrency. Her research focuses on the interplay between formal methods, concurrent, distributed and reversible computing. More recently, here interests are in Federated Learning and scientific workflows.