Foto del docente

Andrea Colledan

PhD Student

Department of Computer Science and Engineering

Teaching tutor

Department of Computer Science and Engineering

Research

Keywords: Lambda calculus Quantum programming languages Operational semantics Resource verification

Latest news

At the moment no news are available.