Peter Michael Schuster

Peter Michael Schuster is a Full Professor in the Department of Computer Science at the University of Verona, specializing in Mathematical Logic (MATH-01/A) with research spanning Algebra (PE1_2), Logic and Foundations (PE1_1), and Mathematical Aspects of Computer Science (PE1_17).

His research focuses on proof theory and constructive mathematics, particularly realizing Hilbert's program in abstract mathematics by extracting computational content from classical proofs with transfinite methods. Schuster investigates logical completeness variants like Zorn's Lemma to uncover computational information embedded in mathematical proofs. His work bridges theoretical computer science, mathematical logic, and pure mathematics.

Schuster has published extensively in premier journals including Annals of Pure and Applied Logic, Journal of Symbolic Logic, and Journal of Logic and Computation, with contributions to major conferences like CiE, CSL, and LICS. His publications consistently explore the intersection of logic, algebra, and computational mathematics.

He organized the 2018 Hausdorff Trimester Program 'Types, Sets and Constructions' at the Hausdorff Institute for Mathematics in Bonn and has coordinated European (FP7) and international research projects. Current projects include 'Reducing complexity in algebra, logic, combinatorics (REDCOM)' and 'CATLOC - Categorical localisation: methods and foundations'.

For the 2025/2026 academic year, Schuster teaches Advanced Course in Foundations of Mathematics, Foundations of Mathematics I, and Mathematical Logic across Bachelor's and Master's programs in Mathematics. He has consistently taught these courses since 2014/2015 with minor credit variations.

Schuster serves on the Faculty Board of the Interuniversity PhD in Mathematics, Mathematics and Data Science Teaching Committee, and Computer Science Department Council. His office is located at Ca' Vignal 2, Floor 2, Room 12, with office hours on Tuesdays from 18:15 or by appointment.