Bioinformatics and medical informatics

This area aims to develop and experiment computational models, computational platforms and algorithms arising in different contexts of applications originating from bioinformatics, biomedical informatics, robotics and multimedia systems. Concerning bioinformatics and biomedical applications, research focuses on several topics, as computational systems biology, natural computing, computational genomics, algorithmic bioinformatics, healthcare and clinical process-aware information systems, clinical databases and data warehouses, clinical data mining. Applied research in robotics deals mainly with applications for service robotics and field robotics, including all robotic systems that are not concerned with manufacturing operations: robotic surgery, exploration, elderly and disabled care, logistics and countermeasures against disaster and terrorism. Multimedia applications are related to biomedical data analysis and videosurveillance, investigating advanced techniques of image and signal processing, computer graphics and visualization, computer vision, machine learning and statistical pattern recognition.


pdf Brochure di presentazione dell'area  (pdf,  it, 246 KB)
pdf Presentazione Research Day 2017  (pdf,  it, 5733 KB)
Manuele Bicego
Associate Professor
Vincenzo Bonnici
Temporary Assistant Professor
Umberto Castellani
Associate Professor
Alberto Castellini
Temporary Assistant Professor
Ferdinando Cicalese
Associate Professor
Carlo Combi
Full Professor
Alessandro Daducci
Associate Professor
Giuditta Franco
Assistant Professor
Rosalba Giugno
Associate Professor
Zsuzsanna Liptak
Associate Professor
Luca Marchetti
Temporary Professor
Gloria Menegaz
Full Professor
Barbara Oliboni
Associate Professor
Romeo Rizzi
Full Professor
Silvia Francesca Storti
Temporary Assistant Professor
Research interests
Topic People Description
Life and medical sciences standard compliant  ACM 2012
Algorithms for Bioinformatics Ferdinando Cicalese
Our research focuses on design of algorithms for the management and analysis of large scale biological data (e.g. -omics data of different types). Our research is driven by the idea that modern data sciences can contribute significantly to address important questions in life sciences. Algorithms from the fields of search theory (group testing), active learning, and data mining (particularly in sequences and networks), as well as, information theoretic approaches based on entropic analysis, can be used to support the causal understanding, diagnosis and prognosis of complex diseases.
Algorithmic bioinformatics Zsuzsanna Liptak
We develop algorithms for discrete problems arising from computational biology, among these: algorithms for mass spectrometry data interpretation, clustering of transcriptomic data, non-alignment based sequence comparison.
Bioinformatics and Computational Biology Manuele Bicego
Design and testing of Pattern Recognition and Machine Learning techniques for the analysis and understanding of biological data. In particular the main focus in on designing solutions for the analysis of "counting data" - namely data which express the level of presence of entities (e.g. gene expression data, or proteomics data) - using probabilistic graphical models like topic models. The main goal is to devise highly interpretable solutions, being interpretability of methods and solutions the most stringent need in nowadays bioinformatics research.
Bioinformatics and Natural Computing Vincenzo Bonnici
Alberto Castellini
Giuditta Franco
Rosalba Giugno
Luca Marchetti
Our research is mainly focused on the following topics: 1) Discrete and algorithmic analyses of biological dynamics (metabolism and replication, and their interplay in cellular processes); 2) Informational and computational analysis of genomes (genomic dictionaries, genomic indexes, genomic distributions of specific parameters, genome representations, genome synthesis and reconstruction from dictionaries). In these research areas, theories and algorithms are investigated and software packages are developed for computational experiments and analyses.
Biological network dynamics Giuditta Franco
Design and analysis of data-driven computational models, for both metabolic and immunological dynamics, based on grammars ruled by state functions. Biological network dynamical properties are investigated in terms of discrete mathematics and model simulation. Membrane and metabolic computing for biological modeling. Genetic network investigation based on computational genomics studies.
Computational genomics and DNA computing Giuditta Franco
Investigation and classification of genomic sequences by means of information theory based methods. Design and analysis of both bio-inspired and molecular algorithms, along with their lab implementation.
Neuroimaging Umberto Castellani
Alessandro Daducci
Gloria Menegaz
Silvia Francesca Storti
The main activity is in the field of neuroimaging, including structural (diffusion MRI) and functional (EEG, fNIRS, functional MRI) imaging as well as perceptual analysis through cognitive science methods. The goal is to gain an holistic view of human brain when inspected in specific conditions by the integration of multi-modal multi-scale probing and modeling. In addition, advanced computer vision and pattern recognition methods are employed for designing numerical biomarkers for the characterization of healthy and pathological conditions.
Health Information Systems Carlo Combi
Barbara Oliboni
Main research interests to the management of clinical information in medical records and to the management of clinical processes/guidelines. More precisely main topics are: - temporal information systems in medicine; - temporal workflow systems in medicine and healthcare: modeling issues and architectures; - temporal and multimedia clinical databases; - temporal data warehouses and temporal data mining for health/clinical knowledge discovery; - visualizing temporal and multimedia clinical data; - Web-based access to clinical information.
Systems Biology, Computational Network Biology Rosalba Giugno
Design of algorithms and methods to understand biological systems using data mining and bioinformatics techniques. The focus is on biological network modeling, perturbation and analysis; classification of phenotypes by coding and non-coding expression profiles; drug synergy and mechanism of action by drug target/off-target/combination prediction.
Operations research standard compliant  ACM 2012
Operations research Romeo Rizzi
Operations research is a discipline that deals with the application of advanced analytical methods to help make better decisions. The terms management science and decision science are sometimes used as more modern-sounding synonyms. Employing techniques from other mathematical sciences, such as mathematical modeling, statistical analysis, and mathematical optimization, operations research arrives at optimal or near-optimal solutions to complex decision-making problems. Operations Research is often concerned with determining the maximum (of profit, performance, or yield) or minimum (of loss, risk, or cost) of some real-world objective. Originating in military efforts before World War II, its techniques have grown to concern problems in a variety of industries. Besides its applications in industry and in management, Operations Research is at the very junction of mathematics and economics. Operations research embodies lots of deep results and theory but, at the same time, it is the archetype of applied mathematics. In Verona, we draw applications of the tools and methodologies of operations research to computational biology. More generally, we actively work in combinatorial optimization and contribute to algorithmic graph theory. We also apply and express methods and competencies of mathematical programming. In mathematics, statistics, empirical sciences, computer science, or management science, mathematical optimization (alternatively, mathematical programming) is the selection of a best element (with regard to some criteria) from some set of available alternatives. Here, optimization includes finding "best available" values of some objective function given a defined domain, including a variety of different types of objective functions and different types of domains. Optimization theory, techniques, and algorithms, comprises a large area of applied mathematics. Among the many sectors of mathematical programming, some of those represented in Verona are the following: linear programming, integer linear programming, combinatorial optimization, multiobjective optimization.
Gruppi di ricerca
Name Description URL
Basi di dati e Sistemi Informativi Questo gruppo di ricercatori si occupa di varie tematiche nell'ambito dei sistemi informativi
Bioinformatica e Calcolo Naturale Analisi algoritmica di processi biologici
Biomedical Imaging Tecniche di Imaging sperimentali e traslazionali principalmente sulle tecniche di Imaging a Risonanza Magnetica e Imaging Ottico
INdAM - Unità di Ricerca dell'Università di Verona Questa pagina è dedicata all'unità di ricerca INdAM dell'Università di Verona.
Neuroimaging Group
Riorganizzazione dei processi sanitari e eHealth Attraverso uno studio interdisciplinare, lo scopo del gruppo di ricerca è quello di analizzare e valutare gli impatti che le nuove tecnologie hanno nei confronti delle strutture organizzative e dei pazienti.
Visione ed elaborazione delle immagini e suoni (VIPS - Vision, Image Processing & Sound) Computer Vision and Pattern Recognition, Image Processing, and Sound Analysis & Processing
Title Managers Sponsors Starting date Duration (months)
EDIPO: A computational solution for bringing neuroimaging genetic into translational research Gloria Menegaz, Rosalba Giugno Fondazione Cariverona 4/1/20 36
ADAIR - From air pollution to brain pollution - novel biomarkers to unravel the link of air pollution and Alzheimer's disease Rosalba Giugno UE - Unione Europea 1/1/20 36
Genomics and matagenomics in agro-industrial research Rosalba Giugno Microbion s.r.l. 4/16/19 3
GNCS Young Researcher Funding 2018/2019: "Heterogeneous systems for inter- and intra-chromosomal connectivity measures." Vincenzo Bonnici INdAM 10/12/18 12
INFO-BACT-MAR: Development of a computational platform for the traceability of microorganisms in agro-food processes using patented HPME markers. Rosalba Giugno FSE: European Social Fund - Regional Operative Program 2014/2020 9/1/18 13
Genomics and matagenomics in agro-industrial research Rosalba Giugno Microbion s.r.l. 8/29/18 1
Metodologie Statistiche Bayesiane per le Scienze Cognitive e la Neuropsicologia Michele Scandola 3/3/18 60
"Efficient production of cis-genic grapevines with increased resistance against the downy mildew pathogen Plasmopara viticola" Annalisa Polverari 2/1/18 24
Tremor and neurotoxicity of tacrolimus and other immunosuppressant treatments in kidney transplanted patients Michele Tinazzi 1/15/18 24
vEyes Wear: open hardware and software wearable platform Damiano Carra 1/15/18 12
Optimized Training Strategy for Cycling Federico Schena 1/8/18 24
Active Malware Analysis based on Reinforcement Learning techniques Alessandro Farinelli 1/1/18 12
Security Static Analysis for Android Things Massimo Merro 1/1/18 24
Well-Being from Plants: Potential of Resurrection Plants for Phyto-Cosmetic and Phyto-Pharmaceutical Applications Antonella Furini 1/1/18 24
Establishment of a protocol for endophytic colonization of Vitis vinifera by plant growth-promoting bacterium Pseudomonas protegens MP12 to enhance resistance to attacks of fungal phytopathogens Giacomo Zapparoli 1/1/18 24
Measuring the economic impact of cultural events: Tocatì – International Festival of Street Games Fabio Cassia 1/1/18 24
Development of NGS methodology for the determination of viral genome mutations related to antiviral resistance Davide Gibellini 1/1/18 24
An IoT-based virtual coaching platform for assisting daily life activities of ageing persons with Down syndrome Graziano Pravadelli 1/1/18 24
Further steps towards Network based BioMarkers: algorithms, software and applications Carlo Laudanna 1/1/18 24
Connections. Design of multi-situated model of host, care and support for asylum seekers Rosanna Cima 12/1/17 12
Effect of natural encapsulated antioxidants on the oxidative shelf-life of puff pastry. Gianni Zoccatelli 12/1/17 24
Transient protein-nanoparticle interactions: insights into molecular recognition from optimized NMR spectroscopy analysis Michael Assfalg 11/27/17 12
Computaitonal analysis of genomic diseases Vincenzo Manca, Rosalba Giugno Ricerca di base finanziata dall'Università degli Studi di Verona 10/1/17 13
Minimality and linguistic variation Birgit Alber 10/1/17 24
What is public happiness? Hannah Arendt and the invention of a concept Olivia Guaraldo 9/1/17 24
The Archive of the Psychiatric Hospital San Giacomo alla Tomba: a heritage to discover Marina Garbellotti Ricerca di base 2015 - assegnato e gestito dal Dipartimento 7/1/17 24
GRAPE CROSS populations for Next Generation breeding Diana Bellin 7/1/17 36
Extending OLAP data analysis with temporal and statistical operators Carlo Combi 6/1/17 24
I-PLANTS: studenti in cammino nel verde 2.0 Davide Quaglia 6/1/17 12
Improving wine aroma complexity by directed evolution of non-Saccharomyces yeast enzymes Paola Dominici 6/1/17 24
Developing a computational platform for analysis of genomes subjected to chromothripsis phenomena Vincenzo Manca 6/1/17 24
Effetti di nanoparticelle di fosfato ferrico di sintesi nel sistema suolo-pianta: verso un miglioramento dell'efficienza d'uso dei nutrienti nelle piante? Zeno Varanini 5/1/17 24
Identificazione di nuovi biomarcatori molecolari da esosomi urinari per la caratterizzazione dell’ipertensione arteriosa a bassa renina. Francesca Pizzolo 5/1/17 24
Codificatore Automatico in MedDRA Ugo Moretti 4/3/17 24
Characterization of the genome of Burkholderia by nanopore-based sequencing Massimo Delledonne 4/1/17 24
Dispositivi per la valutazione del controllo motorio e biofeedback: dal laboratorio alla tecnologia indossabile Barbara Pellegrini 4/1/17 12
Isolation and characterization of lactic acid bacteria for the valorization of goat cheese local production in the Lessinia area (Verona province, Veneto region, Italy) Giovanna Felis 4/1/17 36
PHOTO2FIT: Automatic street-to-shop recommender system Pietro Argeo Della Cristina 4/1/17 36
Profiling of olfactory receptor genes expression in Down syndrome olfactory neurons Maria Paola Cecchini 4/1/17 24
Sviluppo di un sistema integrato di neuro-navigazione stereotassica per la co-registrazione di immagini anatomiche con dati funzionali di fNIRS, EEG e TMS. Silvia Savazzi 4/1/17 24
SGGS Theorem Proving: Algorithms and Implementation Maria Paola Bonacina 3/23/17 24
PREDYCOS: Personalized REsponsive Dynamic COmplex System Rosalba Giugno 3/10/17 24
Realtà Aumentata basata sulla direzione del segnale radio Davide Quaglia 3/6/17 12
In silico and in vitro characterization of the orphan G protein coupled receptor 3 (GPR3) Alejandro Giorgetti 3/1/17 24
Big-code early threat detection by approximate similarity analysis Mila Dalla Preda 3/1/17 24
DNA methylation landscape variations and relations to grape fruit ripening. Silvia Dal Santo 3/1/17 2
Beyond the conflict of private vs public ownership: the role of cooperatives in the water sector Andrea Guerrini 3/1/17 12
Interpretazione astratta di COBOL Isabella Mastroeni 3/1/17 24
Basic science can help to “cure” – not just “to control” – epilepsy: the role of neurovascular unit in epileptogenesis Paolo Fabene 3/1/17 24
Categorical localisation: methods and foundations Lidia Angeleri 3/1/17 24
MOdulaTion Of peripersonal Space Valentina Moro 3/1/17 24
Beyond the Bag of Words paradigm: a structural and statistical perspective Manuele Bicego 3/1/17 24
Industrial production of Omega3 and carotenoids by microalgae cultivation Matteo Ballottari 3/1/17 24
Rigenerazione urbana e creazione sociale. Abitanti e istituzioni che partecipano e apprendono Antonietta De Vita 3/1/17 12
Development of mesophylic microalgal strains for large scale cultivation in open ponds and closed photobioreactors. Roberto Bassi 3/1/17 24
Un nuovo metodo per la determinazione della Carbohydrate Deficient Transferrin (CDT) basato su una specifica derivatizzazione a composto fluorescente. Sviluppo di un recente brevetto dell'Università di Verona (WO2015135900 A1). Franco Tagliaro 3/1/17 24
Uso di composti naturali e sicuri in alternativa a quelli convenzionali per il controllo delle patologie e per preservare la biodiversità microbica in vigneto Sandra Torriani 3/1/17 24
Ceramiche della Magna Grecia. Alle origini della dieta mediterranea. Patrizia Basso 2/15/17 24
Automatic Removal of false alarms by Code translation Roberto Giacobazzi 2/13/17 24
Traditional and advanced approaches to exploit woad and stinging nettle in the textile industry Linda Avesani 2/1/17 36
Comunicazione madre-bambino e sviluppo del linguaggio dopo l'attivazione dell'impianto cocleare: Il ruolo della reazione alla diagnosi, dell'input linguistico materno e delle capacità genitoriali Marinella Majorano 2/1/17 36
Functional mockup Interface extension with support for Discrete Event Languages Franco Fummi 2/1/17 24
New Technologies and the fight against (cyber) terrorism and hate speech in the European perspective Roberto Flor 2/1/17 24
New Materials for Nanothermometry Adolfo Speghini 2/1/17 24
Ottenimento di sviluppo partenocarpico del frutto di pomodoro mediante genome editing utilizzando il sistema CRISPR/Cas9 Barbara Molesini 2/1/17 24
Aromatic amino acid decarboxylase deficiency is strictly connected to pyridoxine-related seizures: a biochemical approach to gain insight into inherited neurotransmitters disorders. Mariarita Bertoldi 1/15/17 12
Rituali antichi: un approccio multidisciplinare. Attilio Mastrocinque 1/15/17 24
Identification of the paracrine MoleculAr Networks linking Obesity and pancreatic cancEr progression Davide Melisi 1/1/17 12
Preclinical study on the effects on the immune system of the ablative techniques (Irreversible Electroporation and Radiofrequency Ablation) in pancreatic cancer" Claudio Bassi 1/1/17 24
Molecular mechanisms of the photoprotective function in higher plants Luca Dall'Osto 1/1/17 12
High performing computational models for biomedical information extraction and integration Rosalba Giugno GNCS National Group for Scientific Computation INDAM 1/1/17 12
Modulazione della funzionalità di adipociti e fibroblasti nella lipodistrofia della pelle (cellulite) da parte di dicaffeoilchinnici di estrazione vegetale Marta Vittoria Menegazzi 1/1/17 12
Lo sviluppo della Muffa Nobile in post-raccolta: effetti sul trascrittoma e metaboloma di uve di diversi genotipi Sara Zenoni 12/1/16 24
Cross-race accuracy bias in lie detection Elena Trifiletti 11/1/16 24
From the Carolingian scriptorium to Dante’s Library Paolo Pellegrini 11/1/16 24
Sinica Mediaevalia Europaea. China in European sources of the Middles Ages (1200-1582): census and study Chiara Maria Concina 11/1/16 24
Comprehensive analysis of Attentional Mechanisms for Perception Leonardo Chelazzi 10/1/16 24
Looking for a biological role of fruit serotonin in the model species Solanum lycopersicum Flavia Guzzo 10/1/16 24
Reconsolidation of appetitive memory and sleep: functional connectomics and plasticity Cristiano Chiamulera 10/1/16 24
Semi-synthesis and structural studies of ubiquitinated Tau Mariapina D'Onofrio 10/1/16 24
Understanding the molecular basis of Usher syndrome type 1J: the role of functional defects in CIB2 Daniele Dell'Orco 9/1/16 24
Learning to ignore – New adaptive features of selective atention Chiara Della Libera 9/1/16 24
InfoGenAgriFood: a bioinformatics integrated platform for the genomics of agricolture food production. Vincenzo Manca, Rosalba Giugno FSE: European Social Fund - Regional Operative Program 2014/2020 9/1/16 13
Potential antitumoral role of “slan dendritic cells (slanDCs)” in lymphoma patients. Marco Antonio Cassatella 8/1/16 12
Brain microstructural modeling for improved TMS anchoring - Joint Projects 2015 Gloria Menegaz EB Neuro SpA 7/1/16 24
Integrating national and international spontaneous adverse drug reaction knowledge bases for pattern discovery in pharmacovigilance. Carlo Combi GNCS National Group for Scientific Computation INDAM 1/1/16 12
Investigation of structural and functional brain connectivity from multimodal data - Joint Projects 2014 Gloria Menegaz Ateneo, EB Neuro SpA 1/1/15 24
AHeAD - Automatic Human behavior Analysis in neurological Diseases: the case of epilepsy - Joint Projects 2012 Gloria Menegaz Ateneo, EB Neuro SpA 9/18/13 24
Fusione e quality assesment di immagini da TC volumetrica "cone beam" Gloria Menegaz QR s.r.l. 7/1/13 12
Is epileptic encephalophathy a general diagnostic category? Assessing neuropsycology and behaviour in children with sever Myoclonic Epilepsy of Infancy (Dravet syndrome) Mario Pezzotti, Bernardo Dalla Bernardina Fondazione Pierfranco e Luisa Mariani 1/1/08 24
DNA Computing e modelli di interazione intracellulare Vincenzo Manca Ministero dell'Istruzione dell'Università e della Ricerca 5/10/02 24


Research facilities