Peter Michael Schuster

  1. Home
  2. Department
  3. People
  4. Peter Michael Schuster
Foto, February 28, 2018
Position
Associate Professor
Academic sector
MAT/01 - MATHEMATICAL LOGIC
Research sector (ERC)
PE1_2 - Algebra

PE1_1 - Logic and foundations

PE1_6 - Topology

Office
Ca' Vignal 2,  Floor 2,  Room 12
Telephone
+39 045 802 7029
Fax
+39 045 802 7068
E-mail
peter|schuster*univr|it <== Replace | with . and * with @ to have the right email address.

Office Hours

Wednesday, Hours 4:45 PM - 6:45 PM,   Ca' Vignal 2, Floor 2, room 12

L'orario dei ricevimenti è valido nei mesi di marzo e aprile. I ricevimenti dei giorni 6 e 27 marzo e 24 aprile saranno sospesi. Il ricevimento del 20 marzo sarà anticipato alle ore 14.30-16.30 dello stesso giorno. Il ricevimento del 10 aprile sarà spostato alle ore 17.30-18.30 dei due giorni adiacenti, 9 e 11 aprile. Nei mesi di maggio, giugno e luglio il ricevimento studenti si svolge su appuntamento da concordare mediante mail.

Office hours are valid from March to April. No office hours will be held on 6th and 27th March and on 24th April. The office hours of 20th March  will be anticipated to 14:30-16:30 at the same day. The office hours of 10th April will be moved to the hours 17:30-18:30 of the two adiacent days, 9th and 11th April. In May, June and July office hours are held upon appointment by e-mail.

Curriculum

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 il lemma di Zorn. Schuster ha pubblicato 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, Journal of Pure and Applied Algebra, Mathematische Zeitschrift e Logic Journal of the IGPL. È 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.

Modules

Modules running in the period selected: 21.
Click on the module to see the timetable and course details.

Course Name Total credits Online Teacher credits Modules offered by this teacher
Master's degree in Mathematics Advanced course in foundations of mathematics (2019/2020)   6    3 
Bachelor's degree in Applied Mathematics Foundations of mathematics I (2019/2020)   6    6 
Master's degree in Mathematics Mathematical logic (2019/2020)   6    6 
Master's degree in Mathematics Advanced course in foundations of mathematics (2018/2019)   6  eLearning 3  (Teoria 1)
Bachelor's degree in Applied Mathematics Foundations of mathematics I (2018/2019)   6  eLearning 6 
Master's degree in Mathematics Mathematical logic (2018/2019)   6  eLearning 6 
Bachelor's degree in Applied Mathematics Foundations of mathematics I (2017/2018)   6  eLearning 6 
Bachelor's degree in Applied Mathematics Mathematical analysis 3 (2017/2018)   6  eLearning 3 
Master's degree in Mathematics Mathematical logic (2017/2018)   6  eLearning 6 
Master's degree in Mathematics Advanced course in foundations of mathematics (2016/2017)   6  eLearning  
Master's degree in Mathematics Algebraic geometry (seminar course) (2016/2017)   6    1 
Bachelor's degree in Applied Mathematics Foundations of mathematics I (2016/2017)   6  eLearning 6 
Bachelor's degree in Applied Mathematics Mathematical analysis 3 (2016/2017)   6  eLearning 3  (Teoria 1)
Master's degree in Mathematics Mathematical logic (2016/2017)   6    6 
Master's degree in Mathematics Advanced course in foundations of mathematics (2015/2016)   6    3  (Teoria)
Master's degree in Mathematics Algebraic geometry (seminar course) (2015/2016)   6    1 
Bachelor's degree in Applied Mathematics Foundations of mathematics I (2015/2016)   6  eLearning 6 
Master's degree in Mathematics Mathematical logic (2015/2016)   6    6 
Master's degree in Mathematics Advanced course in foundations of mathematics (2014/2015)   6    6 
Master's degree in Mathematics Algebraic geometry (seminar course) (2014/2015)   6    1 
Master's degree in Mathematics Mathematics teaching and workshop (2014/2015)   12    3  (Teoria 2)

 

Research groups

INdAM - Unità di Ricerca dell'Università di Verona
Questa pagina è dedicata all'unità di ricerca INdAM dell'Università di Verona.
Logica
Logica in matematica ed informatica.
Skills
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
Projects
Title Starting date
A new dawn of Intuitionism: mathematical and philosophical advances 12/1/17
CATLOC - Categorical localisation: methods and foundations 3/1/17



Organization

Department facilities