July 24, 2017, Monday


Jump to: navigation, search

Mauri Giancarlo

Personal page of Giancarlo Mauri.



Giancarlo Mauri graduated in Physics in 1973.

Since 1990 he is full professor of Computer Science, currently at the University of Milano-Bicocca.

He was Director of the Department of Information Sciences at the University of Milan from 27.2.1992 to 31.10.1997; at the University of Milano-Bicocca he has been Dean of the PhD School in Computer Science from 1.10.2001 to 30.09.2007, member of the Board of Directors from 1.11.2003 to 30.9.2009, and is Director of the Department of Computer Science since 1.10.2010.


His research has touched on various issues, including: theory of automata and formal languages, neural networks and machine learning algorithms, unconventional computation models such as DNA computing and membrane computing, theory and applications of cellular automata.

In the last 15 years, he became more and more interested in problems of interdisciplinary nature, applying his expertise in designing efficient algorithms and in machine learning to the development of tools for the analysis of biosequences (bioinformatics) and of biomedical data and for the modeling and analysis of complex biological systems (systems biology).

His recent research in the area of Bioinformatics and Systems Biology concerns in particular:

  • Development of efficient algorithms for the analysis of biosequences, in particular for discovery of signals or common motifs in DNA or RNA sequences, reconstruction and comparison of phylogenies, prediction of alternative splicing sites, inference of regulatory networks also through the analysis of transcriptomic data and the clustering of co-regulated genes.
  • Development of biomedical data integration tools through web portals and services. In particular, under the European Neuroweb project, which involved four international clinical neurological centers, it has developed an ontology for integration of data related to cerebrovascular disease (stroke).
  • Development of tools for modeling and simulation "in silico", both deterministic and stochastic, of complex biological systems and processes. In particular, some signaling pathways in yeast and bacterial chemotaxis have been modeled and simulated. To speed up the simulations, computationally very demanding, implementations on parallel architectures based on GPU have been realized. Furthermore, some theoretical aspects related to the role of noise and to sensitivity analysis in biochemical reaction networks have been studied.
  • Development of tools based on machine learning techniques and probabilistic inference to study the progression of tumors. One line of research within a project of Systems Biology concerns the modeling and simulation of mitochondrial metabolism in normal and mutated cells to compare different metabolic phenotypes. In a different context we have analyzed expression levels of microRNAs and chromosomal instability for the inference of progression models for breast and colorectal cancers. Finally, we are defining a general conceptual scenario based on "probability raising" techniques and efficient and integrated software tools for the inference of tumor progression models.

During his career, Professor Mauri has published about 350 research papers in international journals, books and conference proceedings, on the themes outlined above.

Research projects

He is or has been responsible of the following research projects:

  • Theory of Algorithms (Ministry of the University), 1982 - 1984
  • Design and analysis of Algorithms (Ministry of the University), 1984 - 1986
  • ASMICS 1 and 2 - Algebraic and Syntactic Methods In Computer Science (Esprit Basic Research Action) 1990 - 1996
  • NEUROCOLT - Neural networks and computational learning theory (Esprit Basic Research Action) 1995 - 1998
  • Algorithms and computation models (Ministry of the University) 1985 - 1996
  • Automata and formal languages (Ministry of the University) 1998 - 2001
  • P–vision (Pirelli Coordinamento Pneumatici SpA), 1996 - 1998
  • OMI/MODES - MOdular MicroElectronic-System DESign (ESPRIT Contract n. 20.592) 1995-1998
  • CAPP - Cellular Automata for Percolation Processes (Technology Transfer Node NOTSOMAD contract n. 25.999) 1996-1998
  • GRAAL: a language based on graphs (ENEL SpA), 1997-1998
  • Analysis and modelling of semi-structured knowledge (ENEL SpA), 1999-2001
  • Deformalization of formal specifications of complex industrial systems (CESI SpA), 1999-2001
  • Bioinformatics and genomics (Ministry of the University) 1999-2001
  • MolCoNet - Molecular Computing Network (5th European framework, Contract Number IST-2001-32008), 2001 - 2004
  • Secure communication protocols (ST Microelettronics S.r.l.), 2001
  • Oncology over the Internet, (Ministry of the University), 2001-2002
  • Acquisition and processing of three-dimensional data for classification and recognition of people and objects (Comerson S.p.A.), 2000 - 2002
  • Study of cryptographic algorithms and their implementation in embedded systems, (Microsystems Ltd.), 2002
  • NEUROWEB: Integration and sharing of information and knowledge in neurology and neurosciences (6th European research framework, Contract no.: 518513), 2006-2008, responsible of the Milano-Bicocca unit
  • Bronte: Biological processes Redescriptions by ONtology Expressions, (The IST Programme Support Measures, Action Line: IST-2001-8.1.2), 2006-2008
  • Network Enabled Drug Design (NEDD) - (Lombardy Region, 2010/2013) Responsible of WPA3: Bioinformatics and computational biology
  • Systems biology of the mitochondrial energetic (Ministry of the University), 2012-2015, responsible of the computational unit

Selected papers (last 5 years)

  1. D. Pescini, P. Cazzaniga, D. Besozzi, G. Mauri, L. Amigoni, S. Colombo, E. Martegani (2012). Simulation of the Ras/cAMP/PKA pathway in budding yeast highlights the establishment of stable oscillatory states. Biotechnology Advances 30(1), 99–107
  2. I. Zoppis, E. Gianazza, M. Borsani, C. Chinello, V. Mainini, C. Galbusera, C. Ferrarese, G. Galimberti, A. Sorbi, B. Borroni, F. Magni, M. Antoniotti, G. Mauri (2012). Mutual Information Optimization for Mass Spectra Data Alignment. IEEE-ACM Trans Comp Biol and Bioinformatics 9(3), 934–939
  3. G. Caravagna, G. Mauri, A. d'Onofrio (2013). The Interplay of Intrinsic and Extrinsic Bounded Noises in Biomolecular Networks. PLoS ONE 8(2): e51174
  4. C. Maj, E. Mosca, I. Merelli, G. Mauri, L. Milanesi (2013). Sensitivity analysis for studying the relation between biochemical reactions and metabolic phenotypes. J of Bioinformatics and Comput Biol 11(1) 1340002
  5. M. Antoniotti, G. D. Bader, G. Caravagna, S. Crippa, A. Graudenzi, G. Mauri (2013). GeStoDifferent: A Cytoscape plugin for the generation and the identification of Gene Regulatory Networks describing a stochastic cell differentiation process. Bioinformatics 29(4), 513–514
  6. M. S. Nobile, P. Cazzaniga, D. Besozzi, D. Pescini, G. Mauri (2014). cuTauLeaping: A GPU–Powered Tau–Leaping Stochastic Simulator for Massive Parallel Analyses of Biological Systems. PLoS ONE 9(3): e91963
  7. G. Caravagna, A. D'Onofrio, M. Antoniotti, G.Mauri (2014). Stochastic Hybrid Automata with delayed transitions to model biochemical systems with delays. Information and computation 236, 19–34
  8. C. Cava, G. Bertoli, I. Zoppis, M. Ripamonti, G. Mauri, I. Castiglioni (2014). Integration of mRNA expression profile, copy number and microRNA expression levels in Breast Cancer to improve grade definition. PLoS ONE 9(5): e97681
  9. M. S. Nobile, P. Cazzaniga, D. Besozzi, G. Mauri (2014). GPU–accelerated simulations of mass–action kinetics models with cupSODA. Journal of Supercomputing 69(1), 17–24
  10. C. Damiani, D. Pescini, R. Colombo, S. Molinari, L. Alberghina, M. Vanoni, G. Mauri (2014). An ensemble evolutionary constraint–based approach to understand the emergence of metabolic phenotypes. Natural Computing 13(3), 321–331
  11. C. Chinello, M. Cazzaniga, G. De Sio, A.J. Smith, A. Grasso, B. Rocco, S. Signorini, M. Grasso, S. Bosari, I. Zoppis, G. Mauri, F. Magni (2015). Tumor size, stage and grade alterations of urinary peptidome in RCC. Journal of Translational Medicine 13(1):332
  12. S. Rubinacci, A. Graudenzi, G. Caravagna. G. Mauri, J. Osborne, J. Pitt-Francis, M. Antoniotti (2015). CoGNaC: a Chaste plugin for the multiscale simulation of Gene regulatory Networks driving the spatial dynamics of tissues and Cancer. Cancer Informatics 2015:14(S4) 53–65
  13. G. Caravagna, A. Graudenzi, D. Ramazzotti, R. Sanz-Pamplona, L. De Sano, G. Mauri, V. Moreno, M. Antoniotti, B. Mishra (2016). Algorithmic methods to infer the evolutionary trajectories in cancer progression. PNAS 113(28): E4025-E4034
  14. A. Graudenzi, G. Caravagna, I.M. Bocicor, C. Cava, M. Antoniotti, G. Mauri (2016). Ordering cancer mutational profiles of cross-sectional copy number alterations. Int. J. Data Mining and Bioinformatics 15(1), 59-83
  15. C. Cava, A. Colaprico, G. Bertoli, G. Bontempi, G. Mauri, I. Castiglioni (2016). How interacting pathways are regulated by miRNAs in breast cancer subtypes. BMC Bioinformatics 2016, 17 (Suppl 12):348
  16. M. Galli, I. Zoppis, G. De Sio, C. Chinello, F. Pagni, F. Magni, G. Mauri (2016). A Support Vector Machine classification of thyroid bioptic specimens using MALDI-MSI data. Advances in Bioinformatics 2016, Article ID 3791214
  17. A. Tangherloni, M S Nobile, D. Besozzi, G. Mauri, P. Cazzaniga (2017). LASSIE: simulating large-scale models of biochemical systems on GPUs. BMC Bioinformatics (2017) 18:246
  18. A. Tangherloni, MS. Nobile, P. Cazzaniga, D. Besozzi, G. Mauri (2017). Gillespie's Stochastic Simulation Algorithm on MIC Coprocessors. Journal of Supercomputing 73(2): 676-686
  19. M.S. Nobile, L.A. Harris, J.C. Pino, D. Besozzi, P. Cazzaniga, G. Mauri, C.F. Lopez (2017). GPU-powered model analysis with PySB and cupSODA. Bioinformatics btx420