Robert Harper (computer scientist)

Last updated
Robert Harper
Robert Harper.jpg
Robert Harper in 2006
Born
Robert William Harper, Jr.

(1957-07-15) July 15, 1957 (age 67)
Other namesBob Harper
Education
Known for
Awards
  • ACM Fellow, 2005
  • ACM SIGPLAN Most Influential PLDI Paper, 2006
  • LICS Test of Time Award, 2007
  • ACM SIGPLAN Prog Lang Achievement Award, 2021
Scientific career
Fields Computer science
Institutions
Doctoral students
Website www.cs.cmu.edu/~rwh/

Robert William Harper, Jr. (born 1957 [2] ) is a computer science professor at Carnegie Mellon University who works in programming language research. Prior to his position at Carnegie Mellon, Harper was a research fellow at the University of Edinburgh. [3]

Contents

Career

Harper made major contributions to the design of the Standard ML programming language and the LF logical framework.

Harper was named an ACM Fellow in 2005 for his contributions to type systems for programming languages. In 2021, he received the ACM SIGPLAN Programming Languages Achievement Award for his "foundational contributions to our understanding of type theory and its use in the design, specification, implementation, and verification of modern programming languages". [4]

Awards

Books

Personal life

In 2003–2008, Harper hosted the progressive talk show Left Out on WRCT-FM with fellow host and Carnegie Mellon University School of Computer Science faculty member Danny Sleator.

Related Research Articles

William Allan Wulf was an American computer scientist notable for his work in programming languages and compilers.

The Programming Language Design and Implementation (PLDI) conference is an annual computer science conference organized by the Association for Computing Machinery (ACM) which focuses on the study of algorithms, programming languages and compilers. It is sponsored by the SIGPLAN special interest group on programming languages.

SIGPLAN is the Association for Computing Machinery's Special Interest Group (SIG) on programming languages. This SIG explores programming language concepts and tools, focusing on design, implementation, practice, and theory. Its members are programming language developers, educators, implementers, researchers, theoreticians, and users.

<span class="mw-page-title-main">John C. Reynolds</span> American computer scientist (1935–2013)

John Charles Reynolds was an American computer scientist.

Brent Hailpern is a computer scientist retired from IBM Research. His research work focused on programming languages, software engineering, and concurrency.

<span class="mw-page-title-main">Programming language theory</span> Branch of computer science

Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. Programming language theory is closely related to other fields including mathematics, software engineering, and linguistics. There are a number of academic conferences and journals in the area.

<span class="mw-page-title-main">Frank Pfenning</span> German-American computer scientist

Frank Pfenning is a German-American professor of computer science, adjunct professor in philosophy, and was head of the Computer Science Department at Carnegie Mellon University from 2013 to 2018.

Monica Sin-Ling Lam is an American computer scientist. She is a professor in the Computer Science Department at Stanford University.

<span class="mw-page-title-main">Randal Bryant</span> American computer scientist (born 1952)

Randal E. Bryant is an American computer scientist and academic noted for his research on formally verifying digital hardware and software. Bryant has been a faculty member at Carnegie Mellon University since 1984. He served as the Dean of the School of Computer Science (SCS) at Carnegie Mellon from 2004 to 2014. Dr. Bryant retired and became a Founders University Professor Emeritus on June 30, 2020.

<span class="mw-page-title-main">Edmund M. Clarke</span> American computer scientist (1945–2020)

Edmund Melson Clarke, Jr. was an American computer scientist and academic noted for developing model checking, a method for formally verifying hardware and software designs. He was the FORE Systems Professor of Computer Science at Carnegie Mellon University. Clarke, along with E. Allen Emerson and Joseph Sifakis, received the 2007 ACM Turing Award.

<span class="mw-page-title-main">Manuela M. Veloso</span> Portuguese-American computer scientist

Manuela Maria Veloso is the Head of J.P. Morgan AI Research & Herbert A. Simon University Professor Emeritus in the School of Computer Science at Carnegie Mellon University, where she was previously Head of the Machine Learning Department. She served as president of Association for the Advancement of Artificial Intelligence (AAAI) until 2014, and the co-founder and a Past President of the RoboCup Federation. She is a fellow of AAAI, Institute of Electrical and Electronics Engineers (IEEE), American Association for the Advancement of Science (AAAS), and Association for Computing Machinery (ACM). She is an international expert in artificial intelligence and robotics.

Dexter Campbell Kozen is an American theoretical computer scientist. He is Professor Emeritus and Joseph Newton Pew, Jr. Professor in Engineering at Cornell University.

<span class="mw-page-title-main">George Necula</span> Romanian computer scientist

George Ciprian Necula is a Romanian computer scientist, engineer at Google, and former professor at the University of California, Berkeley who does research in the area of programming languages and software engineering, with a particular focus on software verification and formal methods. He is best known for his Ph.D. thesis work first describing proof-carrying code, a work that received the 2007 SIGPLAN Most Influential POPL Paper Award.

In computer science, region-based memory management is a type of memory management in which each allocated object is assigned to a region. A region, also called a zone, arena, area, or memory context, is a collection of allocated objects that can be efficiently reallocated or deallocated all at once. Memory allocators using region-based managements are often called area allocators, and when they work by only "bumping" a single pointer, as bump allocators.

Barbara G. Ryder is an American Computer Scientist noted for her research on programming languages and more specifically, the theoretical foundations and empirical investigation of interprocedural compile-time analysis.

<span class="mw-page-title-main">Kathleen Fisher</span> American computer scientist

Kathleen Shanahan Fisher is an American computer scientist who specializes in programming languages and their implementation.

<span class="mw-page-title-main">Gerald Penn (computer scientist)</span> American computer scientist

Gerald Penn is an American computer scientist specializing in mathematical linguistics and speech processing. He is a Professor of Computer Science at the University of Toronto, a senior member of IEEE and AAAI, and a past chair of Association for Mathematics of Language.

<span class="mw-page-title-main">Kenneth L. McMillan</span> American computer scientist

Kenneth L. McMillan is an American computer scientist working in the area of formal methods, logic, and programming languages. He is a professor in the computer science department at the University of Texas at Austin, where he holds the Admiral B.R. Inman Centennial Chair in Computing Theory.

References

  1. 1 2 3 Robert Harper at the Mathematics Genealogy Project
  2. ↑ Harper, Robert (2016). Practical Foundations for Programming Languages (2nd ed.). Cambridge University Press. p. iv.
  3. ↑ Robert Harper on LinkedIn
  4. ↑ "Programming Languages Achievement Award". www.sigplan.org. Retrieved 2022-01-27.
  5. ↑ "SCS Faculty Awards". www.cs.cmu.edu. Archived from the original on 2002-04-04. Retrieved 2024-03-19.
  6. ↑ "The Allen Newell Award for Research Excellence – Previous Winners". www.cs.cmu.edu. Archived from the original on 2024-02-05. Retrieved 2024-03-16.
  7. ↑ "Compiling with Types" (PDF). www.cs.cmu.edu. Retrieved 2024-03-16.
  8. ↑ Harper, R.; Morrisett, G. (January 1995). "Compiling polymorphism with intensional type analysis". POPL '95: Proc 22nd ACM SIGPLAN-SIGACT Symp on Principles of Programming Languages. San Francisco, Cal, USA: ACM. pp. 130–141. doi: 10.1145/199448.199475 . ISBN   978-0-89791-692-9.
  9. ↑ The research for which this award was given resulted in Greg Morrisett's Ph.D. thesis, with Harper as co-advisor, [7] a paper by Morrisett and Harper, [8] and a few other publications.
  10. ↑ "Most Influential PLDI Paper Award". www.sigplan.org. Retrieved 2024-03-16.
  11. ↑ Tarditi, D.; Morrisett, G.; Cheng, P.; Harper, R.; Lee, P. (May 1996). "TIL: a type-directed optimizing compiler for ML". ACM SIGPLAN Notices. 31 (5): 181–192. doi: 10.1145/249069.231414 .
  12. ↑ "ACM/IEEE Symposium on Logic in Computer Science". Archived from the original on 2024-03-13. Retrieved 2024-03-16.
  13. ↑ Harper, R.; Honsell, F.; Plotkin, G.D. (June 1987). "A Framework for defining logics". Proc Second Annual IEEE Symp on Logic in Computer Science (LICS 1987). Ithaca, New York: IEEE Computer Society Press. pp. 194–204.


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.