Luca Cardelli

Last updated

Luca Cardelli
DSC 4698 HiRes Crop.jpg
Born
Luca Andrea Cardelli

Education University of Pisa [1]
PhD, University of Edinburgh, 1982
Known forTheory of Objects [2] with Martín Abadi
Awards Fellow of the Royal Society (2005)
Dahl–Nygaard Prize (2007)
Fellow of the ACM (2005)
Scientific career
Fields Type theory
Operational semantics
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, Fellow of the Royal Society (FRS), is an Italian computer scientist who is a Research Professor at the University of Oxford in Oxford, UK. [1] [5] Cardelli is well known for his research in type theory and operational semantics. [6] [7] 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#. [2] [8] [9] [10] [11] [12]

Contents

Education

He was born in Montecatini Terme, Italy. He attended the University of Pisa [1] before receiving his Doctor of Philosophy (PhD) from the University of Edinburgh in 1982. [13] Before joining the University of Oxford in 2014, and Microsoft Research in Cambridge, UK in 1997, he worked for Bell Labs and Digital Equipment Corporation, [1] and contributed to Unix software including vismon. [14]

Awards

In 2004 he was inducted as a Fellow of the Association for Computing Machinery. He is a Fellow of the Royal Society. In 2007, Cardelli was awarded the Senior AITO Dahl–Nygaard Prize named for Ole-Johan Dahl and Kristen Nygaard. [15]

Related Research Articles

Tony Hoare British computer scientist

Sir Charles Antony Richard Hoare is a British computer scientist. He developed the sorting algorithm quicksort in 1959–1960. He also developed Hoare logic for verifying program correctness, and the formal language communicating sequential processes (CSP) to specify the interactions of concurrent processes and the inspiration for the programming language occam.

Ole-Johan Dahl

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.

Alfred Aho Canadian computer scientist

Alfred Vaino Aho is a Canadian computer scientist best known for his work on programming languages, compilers, and related algorithms, and his textbooks on the art and science of computer programming. He and his long-time collaborator Jeffrey Ullman are the recipients of 2020 Turing Award, generally recognized as the highest distinction in computer science.

Douglas McIlroy

Malcolm Douglas McIlroy is a mathematician, engineer, and programmer. As of 2019 he is an Adjunct Professor of Computer Science at Dartmouth College. McIlroy is best known for having originally proposed Unix pipelines and developed several Unix tools, such as spell, diff, sort, join, graph, speak, and tr. He was also one of the pioneering researchers of macro processors and programming language extensibility. He participated in the design of multiple influential programming languages, particularly PL/I, SNOBOL, ALTRAN, TMG and C++.

Leslie Lamport American computer scientist

Leslie B. Lamport is an American computer scientist. Lamport is best known for his seminal work in distributed systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual. Leslie Lamport was the winner of the 2013 Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior of distributed computing systems, in which several autonomous computers communicate with each other by passing messages. He devised important algorithms and developed formal modeling and verification protocols that improve the quality of real distributed systems. These contributions have resulted in improved correctness, performance, and reliability of computer systems.

Gregor Kiczales

Gregor Kiczales is an American computer scientist. He is currently a full time 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.

Gordon Plotkin

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.

Philip Wadler American computer scientist

Philip Lee Wadler is an American computer scientist known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming and the use of monads in functional programming, the design of the purely functional language Haskell, and the XQuery declarative query language. In 1984, he created the Orwell programming language. Wadler was involved in adding generic types to Java 5.0. He is also author of the paper Theorems for free! that gave rise to much research on functional language optimization.

David Ungar 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 2021. He earned his Doctor of Philosophy (PhD) in computer science from Stanford University in 1987 as a student of Zohar Manna.

Tony Hey

Professor Anthony John Grenville Hey was Vice-President of Microsoft Research Connections, a division of Microsoft Research, until his departure in 2014.

Jeannette Wing American computer scientist

Jeannette Marie Wing is Avanessians Director of the Data Science Institute at Columbia University, where she is also a professor of computer science. Until June 30, 2017, she was Corporate Vice President of Microsoft Research with oversight of its core research laboratories around the world and Microsoft Research Connections. Prior to 2013, she was the President's Professor of Computer Science at Carnegie Mellon University, Pittsburgh, Pennsylvania, United States. She also served as assistant director for Computer and Information Science and Engineering at the NSF from 2007 to 2010.

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.

Oscar Peter Buneman, is a British computer scientist who works in the areas of database systems and database theory.

Georg Gottlob Austrian computer scientist

Georg Gottlob FRS is an Austrian computer scientist who works in the areas of database theory, logic, and artificial intelligence and is Professor of Informatics at the University of Oxford.

Michael Stonebraker American computer scientist

Michael Ralph Stonebraker is a computer scientist specializing in database research. Through a series of academic prototypes and commercial startups, Stonebraker's research and products are central to many relational database systems. He is also the founder of many database companies, including Ingres Corporation, Illustra, Paradigm4, StreamBase Systems, Tamr, Vertica and VoltDB, and served as chief technical officer of Informix. He is also an editor for the book Readings in Database Systems.

Peter A. Wegner was a computer scientist who made significant contributions to both the theory of object-oriented programming during the 1980s and to the relevance of the Church–Turing thesis for empirical aspects of computer science during the 1990s and present. In 2016, Wegner wrote a brief autobiography for Conduit, the annual Brown University Computer Science department magazine.

Laurie Hendren Canadian computer scientist

Laurie Hendren was a Canadian computer scientist noted for her research in programming languages and compilers.

Dahlia Malkhi is an Israeli-American computer scientist who works on distributed systems. She is now working at Novi Financial as a lead researcher, and she is the lead maintainer of the Libra project. Previously, she worked for Microsoft Research, Silicon Valley, and was a founding member and principal researcher of VMware Research.

Venkata Narayana Padmanabhan is a computer scientist and principal researcher at Microsoft Research India. He is known for his research in networked and mobile systems. He is an elected fellow of the Indian National Academy of Engineering, Institute of Electrical and Electronics Engineers and the Association for Computing Machinery. The Council of Scientific and Industrial Research, the apex agency of the Government of India for scientific research, awarded him the Shanti Swarup Bhatnagar Prize for Science and Technology, one of the highest Indian science awards for his contributions to Engineering Sciences in 2016.

References

  1. 1 2 3 4 "Cardelli, Luca". Who's Who 2013, A & C Black, an imprint of Bloomsbury Publishing plc, 2013; online edn, Oxford University Press.(subscription required)
  2. 1 2 Cardelli, Luca; Abadi, Martín (1996). A theory of objects. Berlin: Springer. ISBN   978-0-387-94775-4.
  3. Cardelli, Luca (2021). "Luca Cardelli". Department of Computer Science. University of Oxford.
  4. Luca Cardelli at the Mathematics Genealogy Project
  5. 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.
  6. Cardelli, L. (1996). "Bad engineering properties of object-orient languages". ACM Computing Surveys. 28 (4es): 150–es. doi:10.1145/242224.242415. S2CID   12105785.
  7. 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.
  8. Luca Cardelli author profile page at the ACM Digital Library
  9. Luca Cardelli at DBLP Bibliography Server OOjs UI icon edit-ltr-progressive.svg
  10. List of publications from Microsoft Academic
  11. Luca Cardelli's publications indexed by the Scopus bibliographic database. (subscription required)
  12. 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. p. 31–46. CiteSeerX   10.1.1.22.9903 . doi:10.1145/96709.96712. ISBN   978-0897913430. S2CID   7265577.
  13. Cardelli, Luca (1982). An algebraic approach to hardware description and verification (PhD thesis). University of Edinburgh.
  14. McIlroy, M. D. (1987). A Research Unix reader: annotated excerpts from the Programmer's Manual, 1971–1986 (PDF) (Technical report). CSTR. Bell Labs. 139.
  15. "The AITO Dahl–Nygaard Prize Winners for 2007". Association Internationale pour les Technologies Objets. Mjølner Informatics. 2007.