Robert Harper | |
---|---|
Born | Robert William Harper, Jr. July 15, 1957 |
Other names | Bob Harper |
Education |
|
Known for | |
Awards |
|
Scientific career | |
Fields | Computer science |
Institutions | |
Doctoral students | |
Website | www |
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]
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]
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.
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.
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.
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.
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.
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.
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.
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.
Kathleen Shanahan Fisher is an American computer scientist who specializes in programming languages and their implementation.
David Bacon is an American computer programmer.
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.
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.
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.