Luca Cardelli
Template:Short description Template:Use dmy dates Template:Use British English Script error: No such module "Template wrapper".Template:Main otherScript error: No such module "Check for clobbered parameters".
Luca Andrea Cardelli Template:Post-nominals is an Italian computer scientist who is a research professor at the University of Oxford, UK.[1][2][3][4] Cardelli is well known for his research in type theory and operational semantics.[5][6] 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#.[7][8][9][10][11]
Education
He was born in Montecatini Terme, Italy. He attended the University of Pisa[3] before receiving his PhD from the University of Edinburgh in 1982[12] for research supervised by Gordon Plotkin.[13]
Career and research
Before joining the University of Oxford in 2014, and Microsoft Research in Cambridge,[3] UK in 1997, he worked for Bell Labs and Digital Equipment Corporation,[3] and contributed to Unix software including vismon.[14]
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.[3] In 2007, Cardelli was awarded the Senior AITO Dahl–Nygaard Prize named for Ole-Johan Dahl and Kristen Nygaard.[15]
Trivia
Cardelli created and published the Dijkstra font, a computer typeface mimicking Edsger W. Dijkstra's handwriting, in the late 1980s while working at DEC.[16][17]
References
Template:Modula, Oberon Template:FRS 2005 Template:Authority control
- ↑ Computerworld Interview with Luca Cardelli
- ↑ Template:Google scholar id
- ↑ a b c d e Template:Who's Who
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Template:ACM Portal
- ↑ Template:DBLP
- ↑ Template:Scopus id
- ↑ Script error: No such module "citation/CS1".
- ↑ Template:Cite thesis
- ↑ Cite error: Invalid
<ref>tag; no text was provided for refs namedmathgene - ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- ↑ Script error: No such module "citation/CS1".
- Pages with script errors
- Alumni of the University of Edinburgh
- Italian computer scientists
- Year of birth missing (living people)
- Living people
- 2004 fellows of the Association for Computing Machinery
- Programming language researchers
- Fellows of the Royal Society
- DNA nanotechnology people
- Dahl–Nygaard Prize
- People from Montecatini Terme
- Pages with reference errors