schuster
univrit
Nel primo semestre dell'a.a. 2024/25 il ricevimento si tiene mercoledì dalle ore 17.30. Luogo del ricevimento: lo studio del docente (Ca' Vignal 2, 2.12).
È gradita la prenotazione o mediante mail o (preferito) di persona dopo lezione in aula.
Il ricevimento del 23 ottobre è rimandato al giorno successivo, giovedì 24 ottobre, dalle ore 15.30. Il ricevimento del 30 ottobre è disdetto.
In the first semester of 2024-25 office hours are held on Wednesday from 17.30. Venue of office hours: the docent's office (Ca' Vignal 2, 2.12).
Booking is appreciated either by email or else (preferred) in person after lectures in the lecture hall.
The office hours of 23rd October are postponed to the next day, Thursday 24th October, from 15:30. The office hours of 30th October are cancelled.
Breve CV
(pdf, it, 19 KB, 07/02/24)
Full List of Publications
(pdf, en, 80 KB, 22/06/24)
Short CV
(pdf, en, 19 KB, 07/02/24)
La ricerca di Schuster riguarda la teoria della dimostrazione e la matematica costruttiva. Negli ultimi anni si è occupato principalmente della realizzazione parziale del programma di Hilbert nella matematica astratta, specie del contenuto computazionale delle dimostrazione classiche con metodi transfiniti. Schuster ha pubblicato sia in saggi ed atti di convegno (fra cui 6 CiE, 2 CSL, 2 LICS, 1 MFPS, 1 WoLLIC) che in riviste scientifiche di logica, algebra, matematica pura ed informatica teorica, fra cui Annals of Pure and Applied Logic, Journal of Symbolic Logic, Bulletin of Symbolic Logic, Indagationes Mathematicae, Information and Computation, Journal of Pure and Applied Algebra, Mathematische Zeitschrift, Mathematical Logic Quarterly, Mathematical Structures in Computer Science, Logic Journal of the IGPL e Journal of Logic and Computation. È stato uno degli organizzatori del 2018 Hausdorff Trimester Program “Types, Sets and Constructions”, Hausdorff Institute for Mathematics, Bonn. Ha partecipato anche come coordinatore in vari progetti di ricerca europei (FP7) ed internazionali.
Insegnamenti attivi nel periodo selezionato: 34.
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 |
|---|---|---|
| Il programma di Hilbert per la matematica astratta | Estrarre il contenuto computazionale dalle dimostrazioni classiche nella matematica concettuale. Sotto particolare considerazione sono le istanze matematiche della completezza logica che tipicamente appaiono come varianti del lemma di Zorn. |
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 |
| Titolo | Data inizio |
|---|---|
| Reducing complexity in algebra, logic, combinatorics (REDCOM) | 01/01/20 |
| A new dawn of Intuitionism: mathematical and philosophical advances | 01/12/17 |
| CATLOC - Localizzazione categorica: metodi e fondamenti | 01/03/17 |
| Carica | Organo collegiale |
|---|---|
| componente | Collegio dei Docenti del Dottorato Interateneo in Matematica - 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>
