World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
32
Citations
5933
World Ranking
12978
National Ranking
5236

Overview

Peter Lee is affiliated with Carnegie Mellon University in the United States, with a research focus spanning engineering and medicine. Their work primarily contributes to the fields of Mechanical Engineering and Biomedical Engineering, alongside involvement in Surgery, Automotive Engineering, and Radiation subfields.

The scientist's research topics encompass various areas related to additive manufacturing, advanced imaging techniques, and pathology. These include:

  • Additive Manufacturing Materials and Processes
  • Additive Manufacturing and 3D Printing Technologies
  • High Entropy Alloys Studies
  • Advanced X-ray Imaging Techniques
  • Pancreatitis Pathology and Treatment
  • Advanced X-ray and CT Imaging
  • Welding Techniques and Residual Stresses

Peter Lee has published in several frequent venues, indicating an active presence in both engineering and biomedical research domains. These venues include:

  • SSRN Electronic Journal
  • Gastroenterology
  • bioRxiv (Cold Spring Harbor Laboratory)
  • Additive Manufacturing
  • Acta Materialia

Their recent papers demonstrate interdisciplinary reach and include the following works:

  • "Sparks of Artificial General Intelligence: Early experiments with GPT-4" (2023), published in arXiv (Cornell University)
  • "Keyhole fluctuation and pore formation mechanisms during laser powder bed fusion additive manufacturing" (2022), published in Nature Communications
  • "Imaging intact human organs with local resolution of cellular structures using hierarchical phase-contrast tomography" (2021), published in Nature Methods
  • "Towards understanding grain nucleation under Additive Manufacturing solidification conditions" (2020), published in Acta Materialia
  • "In-situ Synchrotron imaging of keyhole mode multi-layer laser powder bed fusion additive manufacturing" (2020), published in Applied Materials Today

Collaborations are a significant aspect of Peter Lee's work, with frequent coauthors including Chu Lun Alex Leung, Sebastian Marussi, Claire Walsh, Paul Tafforeau, and Robert Atwood. These collaborations span multiple projects and publications, highlighting a partnered research approach.

Best Publications

  • Safe kernel extensions without run-time checking

    George C. Necula;Peter Lee

  • The design and implementation of a certifying compiler

    George C. Necula;Peter Lee

  • TIL: a type-directed optimizing compiler for ML

    David Tarditi;Greg Morrisett;Perry Cheng;Chris Stone

  • Safe, Untrusted Agents Using Proof-Carrying Code

    George C. Necula;Peter Lee

  • Compiling with proofs

    George Ciprian Necula;Peter Lee

  • Optimizing ML with run-time code generation

    Peter Lee;Mark Leone

  • A certifying compiler for Java

    Christopher Colby;Peter Lee;George C. Necula;Fred Blau

  • High-confidence medical device software and systems

    I. Lee;G.J. Pappas;R. Cleaveland;J. Hatcliff

  • Efficient representation and validation of proofs

    G.C. Necula;P. Lee

  • Generational stack collection and profile-driven pretenuring

    Perry Cheng;Robert Harper;Peter Lee

  • No assembly required: compiling standard ML to C

    David Tarditi;Peter Lee;Anurag Acharya

  • Meld: A declarative approach to programming ensembles

    M.P. Ashley-Rollman;S.C. Goldstein;P. Lee;T.C. Mowry

  • Automatic numeric abstractions for heap-manipulating programs

    Stephen Magill;Ming-Hsien Tsai;Peter Lee;Yih-Kuen Tsay

  • Realistic Compiler Generation

    Peter Lee

  • Safe to execute verification of software

    George C. Necula;Peter Lee

  • Lightweight Run-Time Code Generation.

    Mark Leone;Peter Lee

  • Scalable shape sculpting via hole motion: motion planning in lattice-constrained modular robots

    M. De Rosa;S. Goldstein;P. Lee;J. Campbell

  • The logical basis of evaluation order and pattern-matching

    Frank Pfenning;Peter Lee;Noam Zeilberger

  • Signatures for a network protocol stack: a systems application of Standard ML

    Edoardo Biagioni;Robert Harper;Peter Lee;Brian G. Milnes

  • Inferring Invariants in Separation Logic for Imperative List-processing Programs

    Stephen Magill;Aleksandar Nanevski;Edmund Clarke;Peter Lee

Frequent Co-Authors

Robert Harper
Robert Harper Carnegie Mellon University
Frank Pfenning
Frank Pfenning Carnegie Mellon University
George C. Necula
George C. Necula University of California, Berkeley
Seth Copen Goldstein
Seth Copen Goldstein Carnegie Mellon University
Padmanabhan Pillai
Padmanabhan Pillai Intel (United States)
Philip Koopman
Philip Koopman Carnegie Mellon University
Perry Cheng
Perry Cheng IBM (United States)
Sagar Chaki
Sagar Chaki Siemens (United States)
Todd C. Mowry
Todd C. Mowry Carnegie Mellon University
Greg Morrisett
Greg Morrisett Cornell University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring alternative pathways in computer science can help you launch or advance your tech career quickly and efficiently. Online programs are becoming increasingly popular, offering flexible schedules and a range of specializations.

For those seeking a fast entry into the workforce, consider an online associate's degree in computer science or IT. These programs typically take two years or less and can qualify you for various entry-level roles in tech.

Professionals looking to improve their credentials might opt for certifications that pay well. Many IT certifications can be earned in a matter of months and are in high demand by employers.

If you’re aiming for advancement or specialized positions, look into the shortest masters degree programs available online. These accelerated tracks often allow you to earn a master’s in around one year, with flexible learning options.

For long-term career growth, investing in masters degrees that are worth it ensures you gain skills that are highly valued across the tech industry.

Best Scientists Citing Peter Lee