Luca Cardelli facts for kids
Quick facts for kids
Luca Cardelli
|
|
|---|---|
 |
|
| Born |
Luca Andrea Cardelli
Montecatini Terme, Italy
|
| Alma mater | University of Pisa University of Edinburgh (PhD) |
| Known for | Theory of Objects |
| Awards | Dahl–Nygaard Prize (2007) ACM Fellow (2005) |
| Scientific career | |
| Fields | Theory of programming languages Process algebra Systems biology Molecular Programming |
| Institutions | Bell Labs Microsoft Research Digital Equipment Corporation University of Edinburgh University of Oxford |
| Thesis | An algebraic approach to hardware description and verification (1982) |
| Doctoral advisor | Gordon Plotkin |
Luca Andrea Cardelli is an Italian computer scientist. He is a research professor at the University of Oxford in the UK. Cardelli is known for his work on how computer programs are built and how they behave.
He has made many important contributions to programming languages. For example, he helped create the language Modula-3. He also built the first compiler for the ML language. A compiler turns code written by humans into instructions a computer can understand. He also helped develop an experimental language called Polyphonic C#.
Early Life and Education
Luca Cardelli was born in Montecatini Terme, Italy. He studied at the University of Pisa. Later, he earned his PhD degree from the University of Edinburgh in 1982. His research there was guided by Gordon Plotkin.
Career and Research Work
Before joining the University of Oxford in 2014, Luca Cardelli worked at several important places. He was at Microsoft Research in Cambridge, UK, starting in 1997. Before that, he worked for Bell Labs and Digital Equipment Corporation. While at these companies, he helped create software for Unix systems, including a program called vismon.
Awards and Honours
Luca Cardelli has received several special awards for his work.
- In 2004, he became a Fellow of the Association for Computing Machinery. This is a big honor for computer scientists.
- In 2005, he was chosen as a Fellow of the Royal Society (FRS). This is a very old and respected group of scientists in the UK.
- In 2007, he won the Senior AITO Dahl–Nygaard Prize. This award is named after two famous computer scientists, Ole-Johan Dahl and Kristen Nygaard.
Fun Facts
Luca Cardelli also created a special computer font called Dijkstra. This font looks like the handwriting of another famous computer scientist, Edsger W. Dijkstra. He made this font in the late 1980s when he was working at DEC.
