Probabilistically Analysable Real-Time Systems

Leonidas Kosmidis

Leonidas Kosmidis holds a MSc in Computer Architecture, Networks and Systems from Universitat Politècnica de Catalunya and a BSc in Computer Science from University of Crete with valedictorian, where he was ranked 1st among the students of all the Departments of Science and Engineering. He has spent a summer as an intern in the MAS Laboratory at École Centrale de Paris and served as a student research assistant in the CARV Laboratory at ICS-FORTH. Currently he is pursuing a PhD in Computer Architecture from Barcelona Supercomputing Center and he is the main contributor of the simulation infrastructure used in PROARTIS.