Algoritmi, Logica e teoria della computazione

  1. Home
  2. Ricerca
  3. Aree di ricerca
  4. Algoritmi, Logica e teoria della computazione
La ricerca del DI su algoritmi e strutture dati include algoritmi su grafi, reti temporali, algoritmi di approssimazione, algoritmi distribuiti, complessità computazionale, ricerca combinatoria, e algoritmi su stringhe. In molti casi, i problemi affrontati hanno origine in scenari reali in bioinformatica, biologia computazionale, problematiche di ottimizzazione, pianificazione e diagnostica in ambito medico e microeconomico. Studiamo anche modelli di apprendimento automatico basati su alberi di decisone e random forest. La ricerca su stringhe e sequenze include pattern matching, pattern mining, lo sviluppo e analisi di strutture dati compresse, e dall'altra parte la combinatoria delle parole, compressione di testi, grammatiche e riscrittura di stringhe. I componenti dell'area si occupano di problematiche di sintesi reattiva da specifiche in logica temporale, complessità della verifica di proprietà espresse in linguaggi formali, e decidibilità del problema di model checking/soddisfacibilità per logiche temporali a intervalli. Inoltre, lavoriamo su metodi formali per l'analisi e la verifica di sistemi concorrenti, distribuiti e/o con componenti mobili, sui fondamenti semantici dei sistemi wireless, e sui sistemi ciberfisici in ambito Internet of Things. La ricerca comprende l'estrazione di algoritmi dalle prove in analisi costruttiva, l'uso della logica minimale nelle prove matematiche e lo studio dei modelli di computabilità nella teoria della computabilità di ordine superiore da un punto di vista categoriale. Infine, si studiano modelli per la rappresentazione di sistemi concorrenti real-time che includono elementi stocastici e ibridi, modelli di calcolo non convenzionale (spesso bio-ispirati), algoritmi molecolari e modelli di processi di auto-organizzazione.
Romeo Rizzi
Professore ordinario
Competenze
Argomento Persone Descrizione
Graph theory aderente allo standard  MSC
Teoria dei Grafi Romeo Rizzi
 		I grafi sono un modello molto flessibile alla base di molteplici problemi di combinatoria e di varie loro applicazioni. In particolar, i grafi si incontrano come utile strumenti in ambito matematico, informatico e delle scienze in generale. Da anni ormai la teoria dei grafi è un'area centrale della matematica discreta e risulta sicuramente un ambito da un forte connotato di interdisciplinarità. I principali temi di interesse dei membri del dipartimento riguardano: matching, fattorizzazioni, colorazioni, flussi, packing, ricoprimenti e partizioni, algoritmi su grafi.
Computer science aderente allo standard  MSC
Algoritmi per problemi combinatorici e teoria dei grafi algoritmica Romeo Rizzi
 		Quando diciamo che il nostro approccio alla teoria dei grafi ed ai problemi combinatorici è algoritmico non intendiamo solamente sottolineare il fatto che siamo principalmente interessati ad ottenere algoritmi effettivi per i problemi investigati ma anche che indugiamo nel condurre la nostra analisi della struttura matematica del problema fino in fondo, per ottenerne una comprensione la più elementare possibile. Inoltre, poggiamo sulla complessità computazionale come faro metodologico dei nostri approcci e ricerche. Questa profondità e questa consapevolezza caratterizzano lo spessore della ricerca presso il nostro dipartimento in Verona.
Matematica Discreta entro l'Informatica Romeo Rizzi
 		La matematica discreta ha un legame privilegiato ed un ruolo fondamentale in informatica, ed anche il converso è vero. Come algoritmisti, noi operiamo nella matematica discreta per dare il nostro contributo all'informatica. Il ruolo della matematica discreta entro la computer science e la relazione tra questi due settori è oggetto di lavoro in tutto il mondo, ed il nostro dipartimento in Verona è ben presente su questo tavolo.
Teoria della computazione Romeo Rizzi
 		La teoria della computazione è un ramo della matematica e dell'informatica che ricerca se un problema possa essere affrontato da un algoritmo generale e, dove affermativo, quanto efficientemente in termini di risorse impiegate (tempo di calcolo, memoria, ...). In diversi modi questo affascinante campo di ricerca ha modificato e plasmato la percezione moderna del mondo e della stessa matematica. In matematica, risveglia la nostra visione e stimola nuovi approcci, ed è una fonte di ispirazione metodologica e filosofica. Ciò è ancor più vero per i suoi due sottorami più importanti che essa trova nelle teorie della computabilità e della complessità computazionale.
Polytopes and polyhedra aderente allo standard  MSC
Politopi e Poliedri Romeo Rizzi
 		Politopi e poliedri sono oggetti di studio in topologia, geometria computazionale e ottimizzazione combinatoria. In particolare l'ultimo di questi ambiti trova diverse applicazioni in alcune linee di ricerca portate avanti nel dipartimento.
Operations research, mathematical programming aderente allo standard  MSC
Operations research and management science 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.
Programmazione Matematica Romeo Rizzi
 		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
Nome Descrizione URL
Algoritmi Il gruppo persegue lo studio degli aspetti strutturali di problemi fondamentali in informatica e dei loro modelli. Lo scopo è porre le basi per la progettazione di algoritmi protocolli e sistemi migliori e comprenderne i limiti computazionali. Aree specifiche di interesse includono: progettazione di algoritimi, strutture dati, algoritmi su stringhe, complessità, ottimizzazione combinatoriale, codici e teoria dell’informazione, machine learning. I problemi investigati hanno forti connessioni con le aree della bioinformatica, delle reti di comunicazione, della ricerca operativa e dell’intelligenza artificiale.
ForME - Metodi Formali per la Progettazione di Sistemi Ingegneristici Obiettivo del gruppo di ricerca è applicare metodi formali alla modellazione, verifica e sintesi di sistemi ingegneristici. I domini spaziano dai sistemi temporizzati per andare fino ai sistemi ciberfisici non lineari.
INdAM - Unità di Ricerca dell'Università di Verona Raccogliamo qui le attività scientifiche dell'Unità di Ricerca dell'Istituto Nazionale di alta Matematica INdAM presso l'Università di Verona
NeST Progettazione e verifica delle tecnologie di comunicazione in grado di portare efficienza e sostenibilità in applicazioni chiave come industria, agricoltura, domotica, trasporti e gestione del territorio.
Progetti
Titolo Responsabili Fonte finanziamento Data inizio Durata (mesi) 
Reducing complexity in algebra, logic, combinatorics (REDCOM) Lidia Angeleri Fondazione Cariverona 01/01/20 36

Attività

Strutture

Condividi