Simone Martini

Full Professor

Department of Computer Science and Engineering

Academic discipline: INFO-01/A Informatics

Research

Keywords: Programming languages History and philosophy of computing Computer science education Linear logic

Foundations of programming languages

Logic in computer science

Type systems, polymorphism

History and philosophy of computing

Computer science education

Computational thinking