Andrea Masini

Andrea Masini is a Full Professor in the Department of Computer Science at the University of Verona. His research focuses on the logical foundations of computer science and quantum computing, including proof theory, quantum computability, lambda calculi, and type theory.

He actively teaches courses such as

• Algebra and Foundations of Mathematics (Bachelor's degree in Computer Science, 2025/2026)
• Interactive Theorem Proving (Master's degree in Computer Science and Engineering, 2025/2026)

with previous contributions to operating systems, programming, logic, and discrete mathematics.

He is associated with the Quantum Informatics Laboratory (QUILAB) and participates in university governance via the Computer Science Teaching Committee and Department Council. Office hours are held on Thursdays from 2:30 PM to 4:30 PM, requiring prior email booking. Contact: andreamasini@univr.it, +39 045 802 7922.