Robert Harper is affiliated with Carnegie Mellon University in the United States. Their research focus lies predominantly in the domain of Computer Science, with significant contributions spanning various specialized subfields. These subfields include Artificial Intelligence, Computational Theory and Mathematics, Computer Networks and Communications, Mathematical Physics, and Hardware and Architecture.
Their work encompasses a broad range of topics primarily centered around logic and programming, such as Logic, Programming, and Type Systems; Logic, Reasoning, and Knowledge; Formal Methods in Verification; Advanced Algebra and Logic; Homotopy and Cohomology in Algebraic Topology; Parallel Computing and Optimization Techniques; and Computability, Logic, AI Algorithms.
Robert Harper's publication record features multiple recent papers, demonstrating a consistent engagement with ongoing research:
Frequent coauthors collaborating with Robert Harper include:
The venues where Robert Harper regularly publishes their work reveal an emphasis on theoretical computer science and programming languages. Most common publication venues include:
Robert Harper has been recognized with several awards, reflecting contributions to their field. These include:
Robin Milner;Robert Harper;David MacQueen;Mads Tofte
Robin Milner;Mads Tofte;Robert Harper
Robert Harper;Furio Honsell;Gordon Plotkin
R. L. Constable;S. F. Allen;H. M. Bromley;W. R. Cleaveland
David Tarditi;Greg Morrisett;Perry Cheng;Chris Stone
Robert Harper;Greg Morrisett
Robert Harper;Mark Lillibridge
Robert Harper
Yasuhiko Minamide;Greg Morrisett;Robert Harper
Fred B. Schneider;J. Gregory Morrisett;Robert Harper
Robert Harper;John C. Mitchell;Eugenio Moggi
Robert Harper;John C. Mitchell
Perry Cheng;Robert Harper;Peter Lee
Greg Morrisett;Matthias Felleisen;Robert Harper
Joseph Y. Halpern;Robert Harper;Neil Immerman;Phokion G. Kolaitis
Daniel K. Lee;Karl Crary;Robert Harper
Karl Crary;Robert Harper;Sidd Puri
J. C. Mitchell;R. Harper
Hongwei Xi;Robert Harper
Robert Harper;Daniel R. Licata
Umut A. Acar;Guy E. Blelloch;Robert Harper
Robert Harper;Bruce F. Duba;David B. MacQueen
If you think any of the details on this page are incorrect, let us know.
Exploring online education offers many flexible options for those interested in Computer Science and related fields. Students seeking affordable learning opportunities can look for cheap online degrees fast to save both time and money while achieving their academic goals.
If you are concerned about previous academic performance, there are online colleges that accept low gpa, making higher education accessible to a broader range of students. Many of these programs provide flexible schedules and a variety of support services to help you succeed.
Graduates in related majors, such as environmental science, also have diverse opportunities. To understand the career landscape, see what what jobs can you get with an environmental science degree, and discover how an interdisciplinary approach can enhance your professional prospects.
For those looking to fast-track their studies, several institutions offer a 1 year computer science degree online. This accelerated path can jumpstart your career and provide critical technical skills quickly.
Åbo Akademi University
Federal University of Toulouse Midi-Pyrénées
University of Sydney
University of Veterinary Medicine Vienna
Fudan University
The Ohio State University
LabCorp (United States)
Japanese Foundation For Cancer Research
Carnegie Mellon University
Islamic University of Madinah
French Institute for Research in Computer Science and Automation - INRIA
Kyoto University
Vanderbilt University
University of Sydney
University of California, Los Angeles
Alfréd Rényi Institute of Mathematics
