Research
Research projects, activities and opportunitiesFor us, research is a fundamental element for social and economic development, contributing to progress, wellbeing and social cohesion.
This is why the University of Verona supports quality interdisciplinary research, international collaborations and the sharing of results to benefit our society, culture and economy.
Departments and research
The University of Verona stands out for its commitment to cutting-edge scientific research, both basic and applied, across a wide range of disciplines.
Research is organized into four major areas, each consisting of departments focused on specific fields. Specifically, the University offers:
- 3 departments in Humanities
- 3 departments in Law and Economics
- 4 departments in Life and Health Sciences
- 3 departments in Natural Sciences and Engineering (with one shared with the Life Sciences area)
This structure fosters a multidisciplinary and innovative research environment, making the University of Verona a key player in scientific and academic development.
Arts and Humanities
Law and Economics
Life and Health Sciences
Natural Sciences and Engineering
Pubblicazioni recenti
Relating Distances and Abstractions
We establish a formal relation between quantitative and semantic approximations—formalized by pre-metrics and upper closure operators (ucos), respectively—by means of Galois connections. This connection reveals that it is far from trivial for a pre-metric to uniquely identify a uco, highlighting the structural constraints and, more generally, the distinct identity inherent to semantic approximations. Building on this foundation, we introduce a general composition of semantic and quantitative app...
Advancing Neural Network Verification Through Hierarchical Safety Abstract Interpretation
Traditional methods for formal verification (FV) of deep neural networks (DNNs) are constrained by a binary encoding of safety properties, where a model is classified as either safe or unsafe (robust or not robust). This binary encoding fails to capture the nuanced safety levels within a model, often resulting in either overly restrictive or too permissive requirements. In this paper, we introduce a novel problem formulation called ABSTRACT DNN-VERIFICATION, which verifies a hierarchical structu...
Abstract domain adequacy
interpretation offers sound and decidable approximations for undecidable queries related to program behavior. The effectiveness of an abstract domain primarily relies on the abstract domain itself, and the worst-case scenario is when the abstract interpreter responds with "don't know", indicating that anything can happen during runtime. Conversely, a desirable outcome is when the abstract interpreter provides information that exceeds a specified level of precision, resulting in a more precise an...
Renal epithelioid angiomyolipoma: A multi-institutional, international cohort study with emphasis on clinicopathologic prognostic indicators
Background: Renal angiomyolipoma (AML) is a benign perivascular epithelioid cell neoplasm that is often associated with tuberous sclerosis complex (TSC). Epithelioid AML (eAML), a very rare and potentially malignant variant, can be challenging to radiologically differentiate from benign AML and other renal tumors. Adverse histological features have previously been associated to poorer oncological outcomes. This study aimed to characterize this rare disease entity and validate previously reported...
Fix it: Adattare I classici in immagine fissa
Il volume, Fix it: adattare i classici in immagine fissa, che intende approfondire ulteriormente la riflessione sulla attualità e complessità del concetto di adattamento, interrogando una categoria particolare di testi, spesso solo marginalmente indagata: i classici della letteratura adattati in “immagine fissa”.
Catalogues
IRIS - Catalogo delle pubblicazioni
Il catalogo IRIS, gestito dal consorzio CINECA, raccoglie tutte le pubblicazioni scientifiche dell'Università di Verona
Research professional
“Research Professional” di EX-LIBRIS è uno strumento software per la ricerca di opportunità di finanziamento nazionali e internazionali.
Grandi attrezzature di ricerca
Il Centro Piattaforme Tecnologiche gestisce le infrastrutture tecnologicamente all’avanguardia, cui possono accedere sia i diversi gruppi di ricerca dell'ateneo sia le imprese del territorio e gli atenei limitrofi.
Cerca competenze
Expertise e competenze presenti in ateneoUn vero e proprio motore di ricerca delle competenze di docenti e ricercatori dell’Ateneo.
Attraverso questo strumento ideato dall’Università di Verona sarà possibile individuare i migliori partner per lo sviluppo di progetti di ricerca commissionata.
Marie Curie Individual Fellowship
Scegli Verona per la tua borsa individuale Marie CurieScegli l’Università di Verona come sede per la tua borsa Marie Skłodowska-Curie finanziata dall’Unione europea.
Potrai portare avanti il tuo progetto di ricerca in qualunque disciplina e rafforzare le tue prospettive lavorative.
Scopri di piùPartnerships with universities and research centres
A continually expanding collaboration networkThe University of Verona has obtained important awards for its research in all subject areas. Over the years we have achieved significant results on the national and international scene and have formed networks and agreements with many other institutions and the local community. If you want to collaborate with us, get in touch.
Open to worldwide talent
International researchersAre you a researcher interested in doing research at our university? There are Marie Skłodowoska-Curie individual fellowships, the Rita Levi Montalcini programme and many other programmes that support mobilities for researchers.
Partnerships with companies
Dialogues with the business worldThe University of Verona encourages and supports collaboration with companies through projects that involve the use of innovative technologies, highly qualified research staff and specialised structures such as laboratories, spin-offs and research centres.
Spin off
Ricerca scientifica e imprenditorialitàGli Spin off sono società fondate da docenti e ricercatori per valorizzare commercialmente i risultati delle attività di ricerca e le proprie competenze scientifiche e tecnologiche.
Scopri di piùVisiting Professors
Networking e InternazionalizzazioneL'ateneo promuove la presenza di ricercatori e docenti internazionali per attività di didattica e di ricerca attraverso specifici finanziamenti per la mobilità in ingresso degli ospiti internazionali.
Un Visiting Professor è un docente o ricercatore di alto livello proveniente da un'istituzione straniera, invitato per un periodo limitato a svolgere attività accademiche.
Annualmente vengono pubblicati i bandi "Visiting" ricompresi all'interno del Programma di internazionalizzazione di ateneo che finanziano soggiorni di ricerca e/o di didattica a Verona, oltre che l'attribuzione di interi insegnamenti a docenti internazionali. Inoltre, i Dipartimenti dispongono di appositi finanziamenti, finalizzati ad accrescere la dimensione internazionale della didattica all'interno dei Corsi di studio, anche attraverso la partecipazione di docenti provenienti da atenei europei ed extra-europei.
Visiting ProfessorsWork with us
Competitive application announcements
See the page of competitive application announcements for lecturer and research staff positions
Research funding
The University of Verona invests in research
University grantsThe University of Verona supports pure and applied research with local companies and authorities through two specific funding programmes: University grants for pure research, and Joint Projects - University and Companies.
Find moreHow to fund your research
Funding for research, and relations with the local communityAll the funding opportunities for national and international research activities.
Find more


