petrakis
univrit
Breve CV
(pdf, it, 28 KB, 12/02/24)
Full List of Publications
(pdf, en, 65 KB, 12/02/24)
Short CV
(pdf, en, 27 KB, 12/02/24)
La ricerca di Petrakis riguarda la matematica costruttiva, la teoria della computabilità e la teoria delle categorie. Si è occupato principalmente di topologia costruttiva e teoria della misura e, negli ultimi anni, delle connessioni tra la teoria degli insiemi di Bishop, la teoria dei tipi di Martin Loef e la teoria delle categorie. Petrakis ha pubblicato su riviste di logica e informatica teorica (tra cui Annals of Pure and Applied Logic, Computability, Journal of Logic and Analysis, Journal of Logic and Computation, Logical Methods in Computer Science, Mathematical Structures in Computer Science, Theoretical Computer Science) , nel Handbook of Constructive Mathematics e negli atti di convegni (inclusi 6 CiE, 2 LFCS, 1 LICS, 1 TYPES).
Insegnamenti attivi nel periodo selezionato: 3.
Clicca sull'insegnamento per vedere orari e dettagli del corso.
| Corso | Nome | Crediti totali | Online | Crediti del docente | Moduli svolti da questo docente |
|---|---|---|---|---|---|
| Laurea in Informatica [L-31] | Algebra e matematica di base [Matricole pari] (2024/2025) | 6 |
|
6 | |
| Laurea magistrale in Ingegneria e scienze informatiche [LM-18/32] | Sistemi software per la dimostrazione assistita (2023/2024) | 6 |
|
6 | |
| Laurea magistrale in Mathematics [LM-40] | Advanced course in foundations of mathematics (2016/2017) | 6 |
|
6 |
Di seguito sono elencati gli eventi e gli insegnamenti di Terza Missione collegati al docente:
| Argomento | Descrizione | Area di ricerca |
|---|---|---|
| Teoria dei tipi e teoria delle categorie | La teoria dei tipi di Martin Loef è una struttura fondamentale sia per la programmazione funzionale che per la matematica costruttiva. La sua recente estensione, la teoria dei tipi di omotopia, ha rivelato nuove e inaspettate connessioni tra la topologia algebrica e l'informatica teorica. Alcuni modelli categoriali di tipi dipendenti generano la cosiddetta teoria delle categorie dipendenti e la sua duale, la teoria delle categorie codipendenti. |
Algebra, Geometria e Logica Matematica
Mathematical logic and foundations |
| Teoria della dimostrazione e matematica costruttiva | La teoria della dimostrazione si occupa delle dimostrazione matematiche, che in tal modo diventano oggetti della matematica. L'obiettivo è capire “cosa si può dimostrare con cosa” e ottenere informazione computazionale dalle dimostrazioni. La matematica costruttiva mira a dimostrazioni dirette da cui si possono estrarre algoritmi; ogni tale algoritmo viene fuori con un certificato di correttezza gratuito, che è la dimostrazione originale. |
Algebra, Geometria e Logica Matematica
Mathematical logic and foundations |
| Carica | Organo collegiale |
|---|---|
| componente | Collegio Didattico di Informatica - Dipartimento Informatica |
| componente | Consiglio del Dipartimento di Informatica - Dipartimento Informatica |
© 2025 | Università degli studi di Verona
******** CSS e script comuni siti DOL - frase 9957 ********
