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 on programming languages.

<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 head of the Computer Science Department at Carnegie Mellon University.

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">Jaime Carbonell</span> American computer scientist (1953–2020)

Jaime Guillermo Carbonell was a computer scientist who made seminal contributions to the development of natural language processing tools and technologies. His extensive research in machine translation resulted in the development of several state-of-the-art language translation and artificial intelligence systems. He earned his B.S. degrees in Physics and in Mathematics from MIT in 1975 and did his Ph.D. under Dr. Roger Schank at Yale University in 1979. He joined Carnegie Mellon University as an assistant professor of computer science in 1979 and lived in Pittsburgh from then. He was affiliated with the Language Technologies Institute, Computer Science Department, Machine Learning Department, and Computational Biology Department at Carnegie Mellon.

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

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

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.

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

David Bacon is an American computer programmer.

<span class="mw-page-title-main">Grigore Roșu</span> Computer science professor

Grigore Roșu is a computer science professor at the University of Illinois at Urbana-Champaign and a researcher in the Information Trust Institute. He is known for his contributions in runtime verification, the K framework, matching logic, and automated coinduction.

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