schuster
univrit
Wednesday,
Hours 4:00 PM
- 6:00 PM,
Ca' Vignal 2, Floor 2, room 12
Dal 15 gennaio 2020 e nel secondo semestre il ricevimento studenti si svolge su appuntamento da cortesemente concordare mediante mail.
From 15th gennaio 2020 and in the second semester office hours are upon appointment, and students are kindly requested to write an email.
Breve CV Italiano
(pdf, en, 22 KB, 20/01/18)
Full List of Publications
(pdf, en, 137 KB, 18/01/20)
Short CV English
(pdf, en, 22 KB, 19/10/17)
Modules running in the period selected: 22.
Click on the module to see the timetable and course details.
| Topic | Description | Research area |
|---|---|---|
| Hilbert's Programme for Abstract Mathematics | Extracting the computational content of classical proofs in conceptual mathematics. Particular attention is paid to invocations of logical completeness in mathematical form, typically as variants of Zorn's Lemma. |
Discrete and computational mathematics
Mathematical logic and foundations |
| Proof theory and constructive mathematics | Proof theory at large studies mathematical proofs, which thus become themselves objects of mathematics. In a nutshell, the goal is to understand "what can be proved with what" and to gain computational information from proofs. Constructive mathematics aims at direct proofs from which one can read off algorithms; any such algorithm comes with a certificate of correctness for free, which just is the original proof. |
Discrete and computational mathematics
Mathematical logic and foundations |
| Title | Starting date |
|---|---|
| A new dawn of Intuitionism: mathematical and philosophical advances | 12/1/17 |
| CATLOC - Categorical localisation: methods and foundations | 3/1/17 |
| Office | Collegial Body |
|---|---|
| member | Collegio dei Docenti del Dottorato Interateneo in Matematica - Department Computer Science |
| member | Mathematics Teaching Committee - Department Computer Science |
| member | Computer Science Department Council - Department Computer Science |
