Luca Cardelli
From Wikipedia, the free encyclopedia
Born
Luca Andrea Cardelli
Montecatini Terme, Italy
AlmamaterUniversity of Pisa
University of Edinburgh (PhD)
University of Edinburgh (PhD)
KnownforTheory of Objects[1]
AwardsDahl–Nygaard Prize (2007)[2]
ACM Fellow (2005)
ACM Fellow (2005)
Luca Cardelli | |
|---|---|
 | |
| Born | Luca Andrea Cardelli Montecatini Terme, Italy |
| Alma mater | University of Pisa University of Edinburgh (PhD) |
| Known for | Theory of Objects[1] |
| Awards | Dahl–Nygaard Prize (2007)[2] ACM Fellow (2005) |
| Scientific career | |
| Fields | Theory of programming languages Process algebra Systems biology Molecular Programming[3] |
| Institutions | Bell Labs Microsoft Research Digital Equipment Corporation University of Edinburgh University of Oxford[4] |
| Thesis | An algebraic approach to hardware description and verification (1982) |
| Doctoral advisor | Gordon Plotkin[5] |
| Website | lucacardelli |
Luca Andrea Cardelli FRS is an Italian computer scientist who is a research professor at the University of Oxford, UK.[6][3][7][8] Cardelli is well known for his research in type theory and operational semantics.[9][10] Among other contributions, in programming languages, he helped design the language Modula-3, implemented the first compiler for the (non-pure) functional language ML, defined the concept of typeful programming, and helped develop the experimental language Polyphonic C#.[1][11][12][13][14]
He was born in Montecatini Terme, Italy. He attended the University of Pisa[7] before receiving his PhD from the University of Edinburgh in 1982[15] for research supervised by Gordon Plotkin.[5]
