Luca Cardelli

Luca Cardelli is an influential figure in the fields of computer science, programming languages, and type theory. He is best known for his work in type systems, programming language design, and formal methods.