rizzi
univrit
mercoledì,
Ore 18.30
- 20.30,
| e-mail: |  |
| Zoom | or other telecommunication media |
| cell-phone: |  +39.3518684000 |
| Telegram/WhatsApp: | +39.3518684000 |
| phone office: | +39.045.802.7088 |
| physical mailing address: | Romeo Rizzi, Department of Computer Science - University of Verona Ca' Vignal 2, strada le Grazie 15 I-37134 Verona (VR), ITALY |
piano 1, stanza 81 by the Department of Computer Science, in Ca' Vignal 2, strada le Grazie 15, Verona.
englishCV.pdf
(pdf, en, 200 KB, 21/01/24)
italianCV.pdf
(pdf, it, 348 KB, 21/01/24)
Insegnamenti attivi nel periodo selezionato: 59.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
Se sei già iscritta/o a un corso di studio, puoi consultare tutti gli avvisi relativi al tuo corso di studi nella tua area riservata MyUnivr.
In questo portale potrai visualizzare informazioni, risorse e servizi utili che riguardano la tua carriera universitaria (libretto online, gestione della carriera Esse3, corsi e-learning, email istituzionale, modulistica di segreteria, procedure amministrative, ecc.).
Entra in MyUnivr con le tue credenziali GIA: solo così potrai ricevere notifica di tutti gli avvisi dei tuoi docenti e della tua segreteria via mail e anche tramite l'app Univr.
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
| Argomento | Descrizione | Area di ricerca |
|---|---|---|
| Algoritmi per problemi combinatorici e teoria dei grafi algoritmica | 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. |
Algoritmi, Logica e teoria della computazione
Computer science |
| Matematica Discreta entro l'Informatica | 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. |
Algoritmi, Logica e teoria della computazione
Computer science |
| Operations research and management science | 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. |
Algoritmi, Logica e teoria della computazione
Operations research, mathematical programming |
| Politopi e Poliedri | 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. |
Algoritmi, Logica e teoria della computazione
Polytopes and polyhedra |
| Progettazione e analisi algoritmi per grafi | Studio di algoritmi per analisi di vincoli su grafi. |
Ingegneria del Software e verifica formale
Design and analysis of algorithms |
| Programmazione Matematica | 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. |
Algoritmi, Logica e teoria della computazione
Operations research, mathematical programming |
| Ricerca Operativa | La ricerca operativa è una disciplina che sviluppa ed applica metodi analitici avanzati allo scopo di produrre decisioni migliori. In termini più moderni vengono spesso utilizzati sinonimi quali "scienze gestionali (management science)" oppure "scienza delle decisioni (decision science)" per indicare questa stessa corrente, comunità, ambito di attività, e disciplina. Utilizzando tecniche di altre discipline matematiche, dalla modellazione, all'analisi statistica, all'ottimizzazione matematica, la ricerca operativa mira a produrre soluzioni ottime o quasi-ottime per complessi problemi di decisione. La ricerca operativa è spesso invocata per determinare il massimo (di un profitto, di una copertura, di una performance) o minimo (di un costo, o rischio, o perdita) di una funzione obiettivo con controparte nel mondo reale. Originata nello sforzo bellico durante la seconda guerra mondiale, le sue tecniche si sono sviluppate ed articolate per affrontare problemi in svariate aziende dal grande boom economico in poi. Oltre alle sue applicazioni nel mondo industriale e nella pianificazione di progetti pubblici (dapprima nazionali, e trasnazionali, poi anche su scala più piccola) la ricerca operativa segna il punto di congiunzione tra matematica e teoria dell'economia. La ricerca operativa contiene numerosi risultati e teorie matematiche profonde ma è al tempo stesso archetipo di una matematica intrinsecamente volta alle applicazioni. In Verona, curiamo applicazioni di Ricerca Operativa per la biologia computazionale e, più recentemente, ci siamo volti a curare un rapporto con le aziende del territorio. Come ricercatori, contribuiamo nell'ottimizzazione combinatorica e nella teoria dei grafi algoritmica, affrontando problemi di natura fondamentale. Esprimiamo inoltre, e cerchiamo di trasmettere agli studenti, competenze nella modellazione e di programmazione matematica. Tra i molti settori della programmazione matematica abbiamo competenze soide nei seguenti: programmazione lineare, programmazione lineare intera, ottimizzazione combinatorica, ottimizzazione multiobiettivo, algoritmi approssimati. |
Bioinformatica e informatica medica
Operations research |
| Teoria dei Grafi | 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. |
Algoritmi, Logica e teoria della computazione
Graph theory |
| Teoria della computazione | 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. |
Algoritmi, Logica e teoria della computazione
Computer science |
| Carica | Organo collegiale |
|---|---|
| componente | Collegio dei Docenti del Dottorato Interateneo in Matematica - Dipartimento Informatica |
| componente | Collegio Didattico di Informatica - Dipartimento Informatica |
| componente | Collegio didattico di Matematica e Data Science - Dipartimento Informatica |
| componente | Consiglio del Dipartimento di Informatica - Dipartimento Informatica |
© 2024 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********p>
