icona researchResearch

Interests

  • Performance evaluation of computer and communication systems;
  • Dependability evaluation of complex systems;
  • Optimization problems;
  • Theory and application of (Stochastic) Petri Nets (Generalized Stochastic Petri Nets, Stochastic Well-Formed Nets), Fault Trees and Markov Decision Processes;
  • Software tools for the Qualitative and Quantitative evaluation of stochastic models;
  • Application of stochastic models for systems biology;
  • Next Generation Sequencing (NGS) algorithms for biological data.

Scientific activities
  • Co-chair of workshop on Advances in High-Performance Bioinformatics, Systems Biology in the 24th International European Conference on Parallel and Distributed Computing (Euro-Par2 018), Turin, Italy, 27-31 August, 2018.
  • Workshop Co-chair in the annual meeting of the Bioinformatics Italian Society (BITS2018), Turin, Italy, June 27-29, 2018
  • Co-chair of the Special Session on Advances in High-Performance Bioinformatics, Systems and Synthetic Biology in the 26th International Conference on Parallel Distributed network-based Processing (PDP18), Cambridge, UK, 6-8 March 2018.
  • Principal investigator of the Project: Experimentation and study of models for the evaluation of the performance and the energy efficiency for the Competence Center for Scientific Computing at the University of Turin (supported by CRT foundation).
  • Co-chair of the Special Session on Modelling and Simulation of Large Complex Systems} in the 16th IEEE International Conference on Scalable Computing and Communications, Toulouse, France, July 2016.
  • Co-chair of the Special Session on Advances in High-Performance Bioinformatics, Systems and Synthetic Biology in the 22nd International Confer- ence on Parallel Distributed network-based Processing (PDP14), Torino, Italy, February 2014.
  • Program Committee member of the 34th International Conference on Application and Theory of Petri Nets and Concurrency, Milano, Italy. June 25-29, 2013.
  • Program Committee member of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, Tunis, Tunisia, June 23-27, 2014.
  • Program Committee member of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Belgium, Brussels from June 21-26, 2015.
  • Contest Committee member of the Model Checking Contest at Petri Net conference, from 2014 to 2017.
  • Organizing Committee member of the 22nd International Conference on Parallel Distributed network-based Processing (PDP14), Torino, Italy, February 2014.
  • Program Committee member of the Special Session on Advances in High Performance Bioinformatics, Systems and Synthetic Biology in the 23rd International Conference on Parallel Distributed network-based Processing (PDP15), Turku, Finland, March 2015.
  • Publicity chair of 4th international workshop on Data Center Performance, Madrid, Spain, June 30 - July 3, 2014.
  • Program Committee member of the 4th International workshop on Data Center Performance, Madrid, Spain, June 30 - July 3, 2014.
  • Organizing Committee member of the 32nd International Symposium on Computer Performance, Modelling, Measurements and Evaluation, Torino, Italy, October 7-9, 2014.
  • Organizing Committee member of the 6th International Workshop on Biological Processes and Petri Nets (BioPPN 2015), Belgium, Brussels from June 21, 2015.
  • Organizing Committee member of the 7th International Workshop on Biological Processes and Petri Nets (BioPPN 2016),Torun, Poland. 19-24 June, 2016.
  • Reviewer board member of International Journal of Artificial Intelligence, Neural Networks, and Complex Problem-Solving Technologies: Applied Intelligence. E.d. Springer. (Impact Factor:1.853)

Participations in research projects

  • Holistic Human Factors and System Design of Adaptive Cooperative Human-Machine Systems (European ARTEMIS-2012ASP8);
    Start date of the project: 01/10/2013 Duration: 36 months.
    HOLIDES addresses the development and qualification of Adaptive Cooperative Human-Machine Systems (AdCoS) that are urgently needed to enhance usability and safety as well as to boost the confidence of human operators. HOLIDES will therefore develop a Human Factors Reference Technology Platform (HF-RTP) to foster interoperability and to support human factors along the whole engineering lifecycle.
  • Parallel Patterns for Adaptive Heterogeneous Multicore Systems (European FP7- 288570);
    Start date of the project: 01/10/2011 Duration: 36 months.
    ParaPhrase project aims to produce a new structured design and implementation process for heterogeneous parallel architectures, where developers exploit a variety of parallel patterns to develop component based applications that can be mapped to the available hardware resources, and which may then be dynamically re-mapped to meet application needs and hardware availability.
  • Advanced Methodologies for the Analysis and management of the Future Internet (supported by Compagnia di San Paolo foundation);
    Start date of the project: 01/10/2012 Duration: 36 months.
    The goal of the project is to extend and improve existing mathematical methods (based on stochastic processes, diffusion approximations, decomposition, ag- gregation, copulas, temporal logics, game theory, compressive sensing, network coding) to develop advanced frameworks, methodologies and tools for approach- ing the analysis and management of novel architectures proposed for "Future Internet" (FI). Our methodologies, designed to address the very large scale and complex models deriving from these architectures and validated by realistic simulations, will help to select, configure and manage services and applications paving the way to FI.
  • Advancing the Barley Genome (CRIS NUMBER: 0218967 - USA);
    Start date of the project: 01/09/2009 Duration: 36 months.
    The goal of this new project, through accomplishment of short-term gene sequencing and physical map-related goals, is to further facilitate marker-assisted breeding by greatly improving access to knowledge of barley genes. As a corollary, the information developed from this project also will accelerate map-based cloning efforts, which also lead to improved markers as well as alter.
  • Wireless Sensor Networks for Dependable Monitoring of Critical Applications (MIUR-PRIN);
    Start date of the project: 01/10/2008 Duration: 24 months.
    The project aims to investigate innovative solutions for the application of WSN networks to the realization of monitoring systems for safety critical applications. This objective is pursued by means of the integration of two complementary research lines: a technological line aimed to develop solutions for the efficient management of the network resources and to increase its quality of service and lifetime; a methodological line aimed to develop modelling and quantitative evaluation techniques that make the reliability figures predictable and support efficient management strategies.
  • Performance Evaluation of Complex System: Techniques, Methodologies and Tools (MIUR-FIRB);
    Start date of the project: 01/10/2006 Duration: 36 months.
    This Project focuses on the foundations of performance evaluation with the aim of developing new techniques, methodologies and tools for the analysis of the complex systems driving the Information Society. The topics addressed within the Project encompass all the aspects of performance evaluation, from measurement and characterization techniques, to formalisms for the qualitative and quantitative modeling of complex systems, to solution methods for analytical, numerical and simulation models.
  • CRitical UTility InfrastructurAL resilience (European IST research project 2006-2009)
    Start date of the project: 01/01/2006 Duration: 36 months.
    This project is an European IST research project approved from the EU within the Sixth Framework Program (FP6). The project addresses new networked ICT system for the management of the electric power grid, in which artefacts controlling the physical process of electricity transportation need to be connected with information infrastructures, through corporate networks, which are in turn connected to the Internet.