Luca Cardelli FRS
Cardelli in 2016
Born	Luca Andrea Cardelli Montecatini Terme, Italy
Alma mater	University of Pisa University of Edinburgh (PhD)
Known for	Theory of Objects [5]
Awards	Dahl–Nygaard Prize (2007) [1] ACM Fellow (2005)
Scientific career
Fields	Theory of programming languages Process algebra Systems biology Molecular Programming [2]
Institutions	Bell Labs Microsoft Research Digital Equipment Corporation University of Edinburgh University of Oxford [3]
Thesis	An algebraic approach to hardware description and verification (1982)
Doctoral advisor	Gordon Plotkin [4]
Website	lucacardelli.name

Luca Andrea Cardelli FRS is an Italian computer scientist who is a research professor at the University of Oxford, UK. ^{[6] [2] [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#. ^{[5] [11] [12] [13] [14]}

Education

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. ^[4]

Career and research

Before joining the University of Oxford in 2014, and Microsoft Research in Cambridge, ^[7] UK in 1997, he worked for Bell Labs and Digital Equipment Corporation, ^[7] and contributed to Unix software including vismon. ^[16]

Awards and honours

In 2004 he was inducted as a Fellow of the Association for Computing Machinery. He was elected a Fellow of the Royal Society (FRS) in 2005. ^[7] In 2007, Cardelli was awarded the Senior AITO Dahl–Nygaard Prize named for Ole-Johan Dahl and Kristen Nygaard. ^[17]

References