Luca Cardelli

Last updated

Luca Cardelli

FRS
DSC 4698 HiRes Crop.jpg
Cardelli in 2016
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]

Related Research Articles

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

Sir Charles Antony Richard Hoarehor 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">Gregor Kiczales</span> American computer scientist

Gregor Kiczales is an American 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">Dan Ingalls</span> American computer scientist

Daniel Henry Holmes Ingalls Jr. is a pioneer of object-oriented computer programming and the principal architect, designer and implementer of five generations of Smalltalk environments. He designed the bytecoded virtual machine that made Smalltalk practical in 1976. He also invented bit blit, the general-purpose graphical operation that underlies most bitmap computer graphics systems today, and pop-up menus. He designed the generalizations of BitBlt to arbitrary color depth, with built-in scaling, rotation, and anti-aliasing. He made major contributions to the Squeak version of Smalltalk, including the original concept of a Smalltalk written in itself and made portable and efficient by a Smalltalk-to-C translator.

<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.

John Matthew Vlissides was a software engineer known mainly as one of the four authors of the book Design Patterns: Elements of Reusable Object-Oriented Software. Vlissides referred to himself as "#4 of the Gang of Four and wouldn't have it any other way".

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.

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.

<span class="mw-page-title-main">Georg Gottlob</span> Austrian computer scientist

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

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.

Peter A. Wegner was a professor of computer science at Brown University from 1969 to 1999. He 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.

Richard Helm is one of the "Gang of Four" who wrote the influential Design Patterns book. In 2006 he was awarded the Dahl–Nygaard Prize for his contributions to the state of the art embodied in that book. He received the ACM SIGSOFT Outstanding Research Award in 2010.

<span class="mw-page-title-main">Laurie Hendren</span> Canadian computer scientist (1958–2019)

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

Emina Torlak is an American computer scientist and software engineer whose research concerns software verification, program synthesis, and the integration of these techniques into domain-specific languages. She was previously professor of computer science at the University of Washington, and is currently a senior principal scientist for Amazon Web Services.

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.
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.