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
Temporary Assistant Professor
Giuditta Franco
Assistant Professor
Rosalba Giugno
Associate Professor
Zsuzsanna Liptak
Associate Professor
Vincenzo Manca
Temporary Professor
Luca Marchetti
Temporary Professor
Gloria Menegaz
Full Professor
Barbara Oliboni
Associate Professor
Romeo Rizzi
Associate Professor
Silvia Francesca Storti
Temporary Assistant Professor
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
Vincenzo Manca
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
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)
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
Active Malware Analysis based on Reinforcement Learning techniques Alessandro Farinelli 1/1/18 12
Comprehensive analysis of Attentional Mechanisms for Perception Leonardo Chelazzi 10/1/16 24
Security Static Analysis for Android Things Massimo Merro 1/1/18 24
Traditional and advanced approaches to exploit woad and stinging nettle in the textile industry Linda Avesani 2/1/17 36
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
Well-Being from Plants: Potential of Resurrection Plants for Phyto-Cosmetic and Phyto-Pharmaceutical Applications Antonella Furini 1/1/18 24
Cross-race accuracy bias in lie detection Elena Trifiletti 11/1/16 24
Brain microstructural modeling for improved TMS anchoring - Joint Projects 2015 Gloria Menegaz EB Neuro SpA 7/1/16 24
Characterization of the genome of Burkholderia by nanopore-based sequencing Massimo Delledonne 4/1/17 24
In silico and in vitro characterization of the orphan G protein coupled receptor 3 (GPR3) Alejandro Giorgetti 3/1/17 24
Ceramiche della Magna Grecia. Alle origini della dieta mediterranea. Patrizia Basso 2/15/17 24
What is public happiness? Hannah Arendt and the invention of a concept Olivia Guaraldo 9/1/17 24
Codificatore Automatico in MedDRA Ugo Moretti 4/3/17 24
Understanding the molecular basis of Usher syndrome type 1J: the role of functional defects in CIB2 Daniele Dell'Orco 9/1/16 24
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
Connections. Design of multi-situated model of host, care and support for asylum seekers Rosanna Cima 12/1/17 12
Innovative back contact and doping for improved thin film industrial photovoltaic modules. Alessandro Romeo 1/1/18 24
From the Carolingian scriptorium to Dante’s Library Paolo Pellegrini 11/1/16 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
Dispositivi per la valutazione del controllo motorio e biofeedback: dal laboratorio alla tecnologia indossabile Barbara Pellegrini 4/1/17 12
DNA Computing e modelli di interazione intracellulare Vincenzo Manca Ministero dell'Istruzione dell'Università e della Ricerca 5/10/02 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
Effect of natural encapsulated antioxidants on the oxidative shelf-life of puff pastry. Gianni Zoccatelli 12/1/17 24
Extending OLAP data analysis with temporal and statistical operators Carlo Combi 6/1/17 24
Functional mockup Interface extension with support for Discrete Event Languages Franco Fummi 2/1/17 24
GNCS Young Researcher Funding 2018/2019: "Heterogeneous systems for inter- and intra-chromosomal connectivity measures." Vincenzo Bonnici INdAM 10/12/18 12
Fusione e quality assesment di immagini da TC volumetrica "cone beam" Gloria Menegaz QR s.r.l. 7/1/13 12
Identification of the paracrine MoleculAr Networks linking Obesity and pancreatic cancEr progression Davide Melisi 1/1/17 12
Identificazione di nuovi biomarcatori molecolari da esosomi urinari per la caratterizzazione dell’ipertensione arteriosa a bassa renina. Francesca Pizzolo 5/1/17 24
Beyond the conflict of private vs public ownership: the role of cooperatives in the water sector Andrea Guerrini 3/1/17 12
Learning to ignore – New adaptive features of selective atention Chiara Della Libera 9/1/16 24
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
Transient protein-nanoparticle interactions: insights into molecular recognition from optimized NMR spectroscopy analysis Michael Assfalg 11/27/17 12
Interpretazione astratta di COBOL Isabella Mastroeni 3/1/17 24
Investigation of structural and functional brain connectivity from multimodal data - Joint Projects 2014 Gloria Menegaz Ateneo, EB Neuro SpA 1/1/15 24
I-PLANTS: studenti in cammino nel verde 2.0 Davide Quaglia 6/1/17 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
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
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
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
Looking for a biological role of fruit serotonin in the model species Solanum lycopersicum Flavia Guzzo 10/1/16 24
Lo sviluppo della Muffa Nobile in post-raccolta: effetti sul trascrittoma e metaboloma di uve di diversi genotipi Sara Zenoni 12/1/16 24
Molecular mechanisms of the photoprotective function in higher plants Luca Dall'Osto 1/1/17 12
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
Metodologie Statistiche Bayesiane per le Scienze Cognitive e la Neuropsicologia Michele Scandola 3/3/18 60
Improving wine aroma complexity by directed evolution of non-Saccharomyces yeast enzymes Paola Dominici 6/1/17 24
Minimality and linguistic variation Birgit Alber 10/1/17 24
Measuring the economic impact of cultural events: Tocatì – International Festival of Street Games Fabio Cassia 1/1/18 24
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
MOdulaTion Of peripersonal Space Valentina Moro 3/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
Beyond the Bag of Words paradigm: a structural and statistical perspective Manuele Bicego 3/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
PHOTO2FIT: Automatic street-to-shop recommender system Pietro Argeo Della Cristina 4/1/17 36
Potential antitumoral role of “slan dendritic cells (slanDCs)” in lymphoma patients. Marco Antonio Cassatella 8/1/16 12
PREDYCOS: Personalized REsponsive Dynamic COmplex System Rosalba Giugno 3/10/17 24
"Efficient production of cis-genic grapevines with increased resistance against the downy mildew pathogen Plasmopara viticola" Annalisa Polverari 2/1/18 24
Industrial production of Omega3 and carotenoids by microalgae cultivation Matteo Ballottari 3/1/17 24
Profiling of olfactory receptor genes expression in Down syndrome olfactory neurons Maria Paola Cecchini 4/1/17 24
Realtà Aumentata basata sulla direzione del segnale radio Davide Quaglia 3/6/17 12
Reconsolidation of appetitive memory and sleep: functional connectomics and plasticity Cristiano Chiamulera 10/1/16 24
Rigenerazione urbana e creazione sociale. Abitanti e istituzioni che partecipano e apprendono Antonietta De Vita 3/1/17 12
Automatic Removal of false alarms by Code translation Roberto Giacobazzi 2/13/17 24
Rituali antichi: un approccio multidisciplinare. Attilio Mastrocinque 1/15/17 24
Semi-synthesis and structural studies of ubiquitinated Tau Mariapina D'Onofrio 10/1/16 24
SGGS Theorem Proving: Algorithms and Implementation Maria Paola Bonacina 3/23/17 24
Sinica Mediaevalia Europaea. China in European sources of the Middles Ages (1200-1582): census and study Chiara Maria Concina 11/1/16 24
Optimized Training Strategy for Cycling Federico Schena 1/8/18 24
Development of mesophylic microalgal strains for large scale cultivation in open ponds and closed photobioreactors. Roberto Bassi 3/1/17 24
Development of NGS methodology for the determination of viral genome mutations related to antiviral resistance Davide Gibellini 1/1/18 24
GRAPE CROSS populations for Next Generation breeding Diana Bellin 7/1/17 36
Developing a computational platform for analysis of genomes subjected to chromothripsis phenomena Vincenzo Manca 6/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
Tremor and neurotoxicity of tacrolimus and other immunosuppressant treatments in kidney transplanted patients Michele Tinazzi 1/15/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
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
Further steps towards Network based BioMarkers: algorithms, software and applications Carlo Laudanna 1/1/18 24
vEyes Wear: open hardware and software wearable platform Damiano Carra 1/15/18 12


Research facilities