Loading ...
Researcher in Computer Science at the University of Bologna since March 2017. He has carried out research in the fields of Concurrent Systems, Probabilistic and Timed Systems, Foundations of Security Analysis and Design, Systems Biology and Systems Ecology.
Go to the Curriculum vitae