Luca Cardelli

Last updated

Luca Cardelli
FRS
Luca Cardelli.jpg
Born
Luca Andrea Cardelli

Montecatini Terme, Italy
Alma mater University of Pisa
University of Edinburgh (PhD)
Known forTheory 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.name OOjs UI icon edit-ltr-progressive.svg

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]

Contents

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. [5]

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]

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. [18] [19]

Related Research Articles

<span class="mw-page-title-main">Edsger W. Dijkstra</span> Dutch computer scientist (1930–2002)

Edsger Wybe Dijkstra was a Dutch computer scientist, programmer, software engineer, mathematician, and science essayist.

<span class="mw-page-title-main">Tony Hoare</span> British computer scientist

Sir Charles Antony Richard Hoare also known as Tony Hoare or by his initials C. A. R. Hoare is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.

<span class="mw-page-title-main">Ole-Johan Dahl</span> Norwegian computer scientist

Ole-Johan Dahl was a Norwegian computer scientist. Dahl was a professor of computer science at the University of Oslo and is considered to be one of the fathers of Simula and object-oriented programming along with Kristen Nygaard.

<span class="mw-page-title-main">Kristen Nygaard</span> Norwegian computer scientist and mathematician

Kristen Nygaard was a Norwegian computer scientist, programming language pioneer, and politician. Internationally, Nygaard is acknowledged as the co-inventor of object-oriented programming and the programming language Simula with Ole-Johan Dahl in the 1960s. Nygaard and Dahl received the 2001 A. M. Turing Award for their contribution to computer science.

<span class="mw-page-title-main">Considered harmful</span> Phrase used in titles of critical texts

Considered harmful is a part of a phrasal template "X considered harmful". As of 2009, its snowclones have been used in the titles of at least 65 critical essays in computer science and related disciplines. Its use in this context originated with a 1968 letter by Edsger Dijkstra published as "Go To Statement Considered Harmful".

<span class="mw-page-title-main">Gregor Kiczales</span> American computer scientist

Gregor Kiczales is an American Canadian computer scientist. He is currently a professor of computer science at the University of British Columbia in Vancouver, British Columbia, Canada. He is best known for developing the concept of aspect-oriented programming, and the AspectJ extension to the Java programming language, both of which he designed while working at Xerox PARC. He is also one of the co-authors of the specification for the Common Lisp Object System, and is the author of the book The Art of the Metaobject Protocol, along with Jim Des Rivières and Daniel G. Bobrow.

<span class="mw-page-title-main">Gordon Plotkin</span> Computer Scientist

Gordon David Plotkin is a theoretical computer scientist in the School of Informatics at the University of Edinburgh. Plotkin is probably best known for his introduction of structural operational semantics (SOS) and his work on denotational semantics. In particular, his notes on A Structural Approach to Operational Semantics were very influential. He has contributed to many other areas of computer science.

Ralph E. Johnson is a Research Associate Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign. He is a co-author of the influential computer science textbook Design Patterns: Elements of Reusable Object-Oriented Software, for which he won the 2010 ACM SIGSOFT Outstanding Research Award. In 2006 he was awarded the Dahl–Nygaard Prize for his contributions to the state of the art embodied in that book as well.

Douglas S. Lea is a professor of computer science and current head of the computer science department at State University of New York at Oswego, where he specializes in concurrent programming and the design of concurrent data structures. He was on the Executive Committee of the Java Community Process and chaired JSR 166, which added concurrency utilities to the Java programming language. On October 22, 2010, Doug Lea notified the Java Community Process Executive Committee he would not stand for reelection. Lea was re-elected as an at-large member for the 2012 OpenJDK governing board.

<span class="mw-page-title-main">David Ungar</span> American computer scientist

David Michael Ungar, an American computer scientist, co-created the Self programming language with Randall Smith. The Self development environment's animated user experience was described in the paper Animation: From Cartoons to the User Interface co-written with Bay-Wei Chang, which won a lasting impact award at the ACM Symposium on User Interface Software and Technology 2004.

Martín Abadi is an Argentine computer scientist, working at Google as of 2024. He earned his Doctor of Philosophy (PhD) in computer science from Stanford University in 1987 as a student of Zohar Manna.

Maurice Peter Herlihy is an American computer scientist active in the field of multiprocessor synchronization. Herlihy has contributed to areas including theoretical foundations of wait-free synchronization, linearizable data structures, applications of combinatorial topology to distributed computing, as well as hardware and software transactional memory. He is the An Wang Professor of Computer Science at Brown University, where he has been a member of the faculty since 1994.

Arie Nicolaas Habermann, often known as A.N. Habermann or Nico Habermann, was a Dutch computer scientist.

Michael Burrows, FRS is a British computer scientist and the creator of the Burrows–Wheeler transform, currently working for Google. Born in Britain, as of 2018 he lives in the United States, although he remains a British citizen.

<span class="mw-page-title-main">Akinori Yonezawa</span> Japanese computer scientist

Akinori Yonezawa(born June 17, 1947) is a Japanese computer scientist. Professor Emeritus of the University of Tokyo. Received Ph.D. from the Massachusetts Institute of Technology (MIT). Currently, a senior fellow at the Chiba Institute of Technology, Software Technology and Artificial Intelligence Research Center. Former member of the Science Council of Japan. Specializes in object-oriented programming languages, distributed computing and information security. From its beginning, he contributed to the promotion and development of object-oriented programming, which is the basis of programming languages most commonly used today, and served as a program committee member and chairman of the main international conferences OOPSLA and ECOOP. At the same time, he is internationally known as a pioneer of the concepts and models of “concurrent/parallel objects". In software systems constructed based on concurrent/parallel objects, information processing and computation proceed by concurrent/parallel message passing among a large number of objects. Yonezawa's concurrent (parallel) objects are influenced by Actors, the concept of which was proposed by Carl Hewitt at MIT's AI Lab in the early 1970s and later rigorously formulated by Gul Agha. However, concurrent objects and actors are fundamentally different. An actor is an object that does not have a "state," whereas Yonezawa's concurrent (parallel) object can have a persistent state. For this reason, concurrent (parallel) objects are often used in implementing large parallel processing software systems. Large-scale software systems built and put into practical use based on concurrent (parallel) objects include an online virtual world system Second Life, social networking services such as Facebook and X (Twitter), and large-scale molecular dynamics simulation systems such as NAMD.

The Dahl–Nygaard Prize is awarded annually to a senior researcher with outstanding career contributions and a younger researcher who has demonstrated great potential. The senior prize is recognized as one of the most prestigious prizes in the area of software engineering, though it is a relatively new prize.

The ACM Symposium on Principles of Distributed Computing (PODC) is an academic conference in the field of distributed computing organised annually by the Association for Computing Machinery.

<span class="mw-page-title-main">Hagit Attiya</span> Israeli computer scientist

Hagit Attiya is an Israeli computer scientist who holds the Harry W. Labov and Charlotte Ullman Labov Academic Chair of Computer Science at the Technion – Israel Institute of Technology in Haifa, Israel. Her research is in the area of distributed computing.

References

  1. 1 2 Cardelli, Luca; Abadi, Martín (1996). A theory of objects. Berlin: Springer. ISBN   978-0-387-94775-4. OCLC   34557380.
  2. ↑ "The AITO Dahl-Nygaard Prize Winners For 2007". Aito. Association Internationale pour les Technologies Objets . Retrieved 7 December 2022.
  3. 1 2 Luca Cardelli publications indexed by Google Scholar OOjs UI icon edit-ltr-progressive.svg
  4. ↑ Cardelli, Luca (2021). "Luca Cardelli". Department of Computer Science. University of Oxford.
  5. 1 2 Luca Cardelli at the Mathematics Genealogy Project
  6. ↑ Computerworld Interview with Luca Cardelli
  7. 1 2 3 4 5 Anon (2013). "Cardelli, Luca" . Who's Who (online Oxford University Press  ed.). Oxford: A & C Black. doi:10.1093/ww/9780199540884.013.U244893.(Subscription or UK public library membership required.)
  8. ↑ Dalchau, N.; Phillips, A.; Goldstein, L. D.; Howarth, M.; Cardelli, L.; Emmott, S.; Elliott, T.; Werner, J. M. (2011). Chakraborty, Arup K (ed.). "A Peptide Filtering Relation Quantifies MHC Class I Peptide Optimization". PLOS Computational Biology. 7 (10): e1002144. Bibcode:2011PLSCB...7E2144D. doi: 10.1371/journal.pcbi.1002144 . PMC   3195949 . PMID   22022238.
  9. ↑ Cardelli, L. (1996). "Bad engineering properties of object-orient languages". ACM Computing Surveys . 28 (4es): 150–es. doi:10.1145/242224.242415. S2CID   12105785.
  10. ↑ Cardelli, Luca; Wegner, Peter (December 1985). "On understanding types, data abstraction, and polymorphism" (PDF). ACM Computing Surveys. 17 (4): 471–523. CiteSeerX   10.1.1.117.695 . doi:10.1145/6041.6042. ISSN   0360-0300. S2CID   2921816.
  11. ↑ Luca Cardelli author profile page at the ACM Digital Library
  12. ↑ Luca Cardelli at DBLP Bibliography Server OOjs UI icon edit-ltr-progressive.svg
  13. ↑ Luca Cardelli publications indexed by the Scopus bibliographic database. (subscription required)
  14. ↑ Abadi, M.; Cardelli, L.; Curien, P. L.; Levy, J. J. (1990). "Explicit substitutions". Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) '90. pp. 31–46. CiteSeerX   10.1.1.22.9903 . doi:10.1145/96709.96712. ISBN   978-0897913430. S2CID   7265577.
  15. ↑ Cardelli, Luca (1982). An algebraic approach to hardware description and verification. ed.ac.uk (PhD thesis). University of Edinburgh. hdl:1842/13308. OCLC   11197000. EThOS   uk.bl.ethos.253190.
  16. ↑ McIlroy, M. D. (1987). A Research Unix reader: annotated excerpts from the Programmer's Manual, 1971–1986 (PDF) (Technical report). CSTR. Bell Labs. 139.
  17. ↑ "The AITO Dahl–Nygaard Prize Winners for 2007". Association Internationale pour les Technologies Objets. Mjølner Informatics. 2007.
  18. ↑ Cardelli, Luca. "Artifacts/Fonts". Luca Cardelli. Retrieved 19 November 2024.
  19. ↑ "Edsger W. Dijkstra: Brilliant, colourful, and opinionated". CWI (Centrum voor Wiskunde en Informatica).
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.