Ricerca
Progetti, attività e opportunità di ricercaLa ricerca è per noi uno dei fattori fondamentali per lo sviluppo sociale ed economico, in grado di produrre progresso, benessere e coesione sociale.
Per questo l’università di Verona sostiene la qualità della ricerca in un’ottica inter-disciplinare, lo sviluppo delle collaborazioni internazionali e la diffusione dei risultati a beneficio della società, della cultura e del settore economico.
La ricerca nei dipartimenti
L'Università di Verona si distingue per il suo impegno nella ricerca scientifica d'avanguardia, tanto di base quanto applicata, spaziando tra un'ampia varietà di ambiti disciplinari.
La ricerca è organizzata in quattro macro aree che comprendono una rete di dipartimenti focalizzati su discipline specifiche. In particolare, l'Ateneo offre:
- 3 dipartimenti nelle Scienze Umanistiche
- 3 dipartimenti nelle Scienze Giuridiche ed Economiche
- 4 dipartimenti nelle Scienze della Vita e della Salute
- 3 dipartimenti nelle Scienze Naturali e Ingegneristiche (con uno in comune con le scienze della vita)
Questa struttura consente di promuovere un ambiente di ricerca multidisciplinare e innovativo, che fa dell'Università di Verona un punto di riferimento per lo sviluppo scientifico e accademico.
Macro aree e Dipartimenti
Scienze Umanistiche
Scienze Giuridiche ed Economiche
Scienze della Vita e della Salute
Scienze Naturali e Ingegneristiche
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”.
Cataloghi
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ùPartnership con università e centri di ricerca
Una rete di collaborazioni in continua espansioneL’università di Verona ha ottenuto importanti riconoscimenti per la sua ricerca in tutte le aree disciplinari. Nel corso degli anni abbiamo raggiunto risultati significativi nel panorama nazionale ed internazionale, anche attraverso la costruzione di reti e accordi con altri istituti e con il territorio. Se vuoi collaborare con noi, contattaci
Aperti ai talenti di tutto il mondo
Ricercatori internazionaliSei un ricercatore e vorresti venire nel nostro ateneo a fare ricerca? Per te ci sono le borse individuali Marie Skłodowoska-Curie, il programma Rita Levi Montalcini e molti altri programmi che sostengono la mobilità dei ricercatori.
Partnership con le imprese
Brevetti, spin-off, Joint Projects e attività commissionataL'Università di Verona promuove e sostiene la collaborazione con le imprese attraverso progetti che prevedono l'utilizzo di tecnologie innovative, personale di ricerca altamente qualificato e strutture specialistiche come laboratori, spin-off e centri di ricerca.
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 ProfessorsLavora con noi
Finanziamenti per la ricerca
L’università di Verona investe nella ricerca
Bandi di AteneoL’università di Verona sostiene la ricerca di base e applicata, in collaborazione con imprese ed enti del territorio attraverso due programmi di finanziamento specifici: i Bando di Ateneo per la Ricerca di Base e i Joint Projects - Progetti Università Imprese.
Scopri di più su MYUNIVRCome finanziare la tua ricerca
Finanziamenti per la ricercaTutte le opportunità di finanziamento nazionali ed internazionali per le attività di ricerca.
Scopri di più


