Research

Computing that makes medical images answer clinical questions

My group develops computational, statistical, and AI methods for biomedical imaging — and the tools needed to judge, rigorously, whether those methods actually help with the task at hand.

My research interests and expertise are in computational engineering and biomedical imaging, informed by transdisciplinary training that combines engineering, mathematical modeling, artificial intelligence, and scientific computing. The goal is to use the power of computing to accelerate biomedical innovation and help resolve major challenges in medicine and public health, including early detection of cancer and improved treatment outcomes.

Three questions organize the work: how do we advance emerging imaging modalities so they meet real needs in clinical medicine and basic science; how do we optimize the design of imaging instruments and the algorithms that turn their measurements into images; and how do we support clinical decision-making for patient-specific treatment. Running through all three is a conviction that system designs and reconstruction methods must be evaluated by how well they support the clinical task, not by how good the images look.

  • 1

    Task-based image quality

    Numerical observers and performance bounds that measure what a system lets a clinician actually do.

    Read more
  • 2

    Trustworthy deep learning

    Exposing the failure modes of learned reconstruction, and designing methods that can be analyzed.

    Read more
  • 3

    Virtual imaging trials

    Stochastic numerical phantoms and end-to-end simulation, with ground truth you control.

    Read more
  • 4

    Physics-based reconstruction

    Accurate imaging operators and novel object representations for PACT and USCT.

    Read more
  • 5

    Inverse problems & UQ

    Scalable Bayesian inversion at scale, delivered as open-source software people can use.

    Read more
01

Objective, task-based assessment of image quality

The performance of a medical imaging system should be measured by how well it enables the clinical task it was built for — detecting a lesion, or quantifying a physiological parameter. Physical fidelity measures such as mean square error, signal-to-noise ratio, or structural similarity do not reliably correlate with diagnostic performance. My work develops the computational tools that make objective assessment tractable for modern, high-dimensional, nonlinear imaging systems.

With collaborators, I have established how the Bayesian ideal observer — the optimal task-based performance bound — can be approximated by Markov-chain Monte Carlo methods that use deep generative models to represent realistic object statistics; shown how learned ideal and Hotelling observers can be trained directly from simulated ensembles to estimate upper bounds on system performance, including for multimodal data; developed methods to compute and characterize the null space of an imaging operator, which determines precisely what object information a system can and cannot recover, and therefore what no reconstruction method can recover; and derived Bayesian Cramér–Rao bounds for quantitative estimation tasks, giving a principled objective for imaging system design.

Although developed in the context of photoacoustic and ultrasound imaging, these tools are modality-agnostic and apply to the assessment of any computed imaging system.

Selected work

  • Kaiyan Li, Umberto Villa, Hua Li, Mark A Anastasio. Application of Learned Ideal Observers for Estimating Task-Based Performance Bounds for Computed Imaging Systems. Journal of Medical Imaging 2024. doi
  • Weimin Zhou, Umberto Villa, Mark A Anastasio. Ideal Observer Computation by use of Markov-Chain Monte Carlo with Generative Adversarial Networks. IEEE Transactions on Medical Imaging 2023. doi
  • Joseph Kuo, Jason Granstedt, Umberto Villa, Mark A Anastasio. Computing a Projection Operator onto the Null Space of a Linear Imaging Operator: Tutorial. Journal of the Optical Society of America A 2022. doi
  • Evan Scope Crafts, Mark A Anastasio, Umberto Villa. Optimizing Quantitative Photoacoustic Imaging Systems: The Bayesian Cramér-Rao Bound Approach. Inverse Problems 2024. doi
02

Rigorous evaluation and trustworthy design of learned reconstruction

Deep learning methods routinely report large gains over classical and model-based reconstruction, but those gains are typically demonstrated with physical fidelity measures on limited test sets. My work addresses the resulting credibility gap from both directions: by exposing the specific failure modes of learned reconstruction, and by designing learned methods whose behavior can be interpreted rather than merely benchmarked.

We have shown that ill-posed tomographic problems admit multiple data-consistent solutions within the manifold of a deep generative model — a concrete mechanism for hallucination, and a tool for exploring it. We have critically assessed whether diffusion-model posterior samplers actually deliver calibrated uncertainty quantification for Bayesian inverse problems; they frequently do not, despite being widely presented as if they do. On the design side, we develop task-informed learned full-waveform inversion, in which the downstream task enters training so that reconstruction optimizes clinically relevant rather than pixel-wise performance; learned filtered-backprojection operators with analyzable structure, for which stability and consistency properties can be established; and learned forward-model and aberration corrections that remain anchored to the underlying physics.

Selected work

  • Luke Lozenski, Hanchen Wang, Fu Mitcham Trevor Li, et al.. Learned Full Waveform Inversion Incorporating Task Information for Ultrasound Computed Tomography. IEEE Transactions on Computational Imaging 2024. doi
  • Refik Mert Cam, Umberto Villa, Mark A Anastasio. Learning a Stable Approximation of an Existing but Unknown Inverse Mapping: Application to the Half-Time Circular Radon Transform. Inverse Problems 2024. doi
  • Evan Scope Crafts, Umberto Villa. Benchmarking Diffusion Annealing-Based Bayesian Inverse Problem Solvers. IEEE Open Journal of Signal Processing 2025. doi
  • Youzuo Lin, Shihang Feng, James Theiler, et al.. Survey of Deep Learning and Physics-Based Approaches in Computational Wave Imaging. Proceedings of the IEEE 2025. doi
03

Virtual imaging trials: object ensembles and end-to-end simulation

Task-based assessment requires an ensemble of statistically realistic objects with known ground truth — something no clinical dataset can supply, because ground truth is unavailable and anatomical variability is not controllable. Virtual imaging trials close that gap, and are the practical enabler of everything above.

My long-term goal is to establish end-to-end virtual imaging frameworks as the first step in developing and validating new imaging technologies. That means constructing virtual patient populations via stochastic numerical phantoms that capture realistic variability in anatomy, tissue composition, and acoustic and optical properties; simulating the data acquisition process at high fidelity, including instrument-specific physics; applying both model-based and learned reconstruction within a common, controlled pipeline; and reading out image quality with clinically relevant, task-based measures. I have led or co-led the development of 3-D stochastic numerical breast, head, and mouse phantoms for ultrasound and photoacoustic computed tomography, and released these resources to the community. The framework is what allows learned and classical methods to be compared on identical object ensembles, at sample sizes sufficient for statistically meaningful conclusions.

Selected work

  • Fu Mitcham Trevor Li, Umberto Villa, Seonyeong Park, Mark A Anastasio. Three-dimensional stochastic numerical breast phantoms for enabling virtual imaging trials of ultrasound computed tomography. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control 2022. doi
  • Seonyeong Park, Umberto Villa, Refik Mert Cam, Alexander A. Oraevsky, Mark A Anastasio. Stochastic three-dimensional numerical phantoms to enable computational studies in quantitative optoacoustic tomography of breast cancer. Journal of Biomedical Optics 2023. doi
  • Seonyeong Park, Gangwon Jeong, Umberto Villa, Mark A Anastasio. A virtual imaging framework for three-dimensional quantitative optoacoustic tomography using stochastic numerical Breast phantoms. Photoacoustics 2026. doi
  • Hsuan-Kai Huang, Joseph Kuo, Seonyeong Park, Umberto Villa, Lihong V Wang, Mark A Anastasio. Stochastic numerical head phantoms to enable virtual imaging studies of transcranial photoacoustic computed tomography. Photoacoustics 2026. doi
04

Physics-based reconstruction for emerging imaging modalities

Credible assessment of learned reconstruction requires a defensible reference: a model-based method that exploits the measurement physics as fully as computation allows. My work establishes such reference methods for emerging acoustic and optical modalities, and in doing so advances the quantitative accuracy achievable without learning.

This includes accurate imaging operators — a 3-D full-waveform-inversion forward model incorporating elevation-focused transducer properties for ultrasound computed tomography, and a multiphysics finite-element full-wave model for transcranial photoacoustic imaging that accounts for skull-induced aberration; novel object representations for dynamic imaging, including tensor decompositions and neural fields as a memory-efficient, self-supervised representation for spatiotemporal reconstruction; spatiotemporal methods that enable high-frame-rate dynamic photoacoustic imaging from sparse rotating-gantry measurements; and rigorous analysis of the identifiability limits of joint estimation problems.

Selected work

  • Luke Lozenski, Mark A Anastasio, Umberto Villa. A Memory-Efficient Self-Supervised Dynamic Image Reconstruction Method Using Neural Fields. IEEE Transactions on Computational Imaging 2022. doi
  • Luke Lozenski, Refik Mert Cam, Mark D. Pagel, Mark A Anastasio, Umberto Villa. ProxNF: Neural Field Proximal Training for High-Resolution 4D Dynamic Image Reconstruction. Transactions on Computational Imaging 2024. doi
  • Fu Mitcham Trevor Li, Umberto Villa, Nebojsa Duric, Mark A Anastasio. A forward model incorporating elevation-focused transducer properties for 3D full-waveform inversion in ultrasound computed tomography. IEEE Transactions on Ultrasonics, Ferroelectrics, and Frequency Control 2023. doi
  • Gangwon Jeong, Umberto Villa, Mark A Anastasio. Revisiting the joint estimation of initial pressure and speed-of-sound distributions in photoacoustic computed tomography with consideration of canonical object constraints. Photoacoustics 2025. doi
05

Large-scale inverse problems, uncertainty quantification, and open-source software

Image reconstruction is an inverse problem, and Bayesian inverse theory provides a rigorous framework for quantifying posterior uncertainty, measuring information content, and assessing experimental-design objectives. My work develops scalable algorithms for infinite-dimensional Bayesian inverse problems and — equally important — delivers them as software the community can actually use.

I am the lead developer of hIPPYlib, an extensible framework for large-scale PDE-constrained inverse problems that has become a widely adopted reference implementation for scalable deterministic and Bayesian inversion, and a co-developer of hIPPYlib-MUQ (coupling scalable inversion with advanced MCMC) and SOUPy (PDE-constrained optimization under high-dimensional uncertainty). Methodologically, I have contributed derivative-informed reduced neural operators and projected neural networks that give fast, accurate surrogates for high-dimensional parameter-to-observable maps — an enabling technology for the many forward solves that ensemble-based assessment requires — along with Hessian-based adaptive quadrature, scalable samplers for spatially correlated random fields, and preconditioners for large-scale inversion.

These methods have been applied across imaging, computational oncology (predictive digital twins with quantified uncertainty for patient-specific decision making), geophysics, and glaciology, which has repeatedly sharpened the algorithms.

Selected work

  • Umberto Villa, Noémi Petra, Omar Ghattas. hIPPYlib: An Extensible Software Framework for Large-Scale Inverse Problems Governed by PDEs; Part I: Deterministic Inversion and Linearized Bayesian Inference. ACM Trans. Math. Softw. 2021. doi
  • Ki-Tae Kim, Umberto Villa, Matthew Parno, Youssef Marzouk, Omar Ghattas, Noémi Petra. hIPPYlib-MUQ: A Bayesian Inference Software Framework for Integration of Data with Complex Predictive Models under Uncertainty. ACM Trans. Math. Softw. 2023. doi
  • Thomas O'Leary-Roseberry, Umberto Villa, Panpan Chen, Omar Ghattas. Derivative-Informed Projected Neural Networks for High-Dimensional Parametric Maps Governed by PDEs. Computer Methods in Applied Mechanics and Engineering 2022. doi
  • Graham Pash, Umberto Villa, David A Hormuth II, Thomas E Yankeelov, Karen Willcox. Predictive Digital Twins with Quantified Uncertainty for Patient-Specific Decision Making in Oncology. Journal of Computational Physics 2026. doi
06

Earlier work

During my doctoral program and postdoctoral training I worked on large-scale numerical simulation as a tool to inform decision-making under uncertainty: patient-specific computational hemodynamics to quantify wall shear stress and predict aneurysm rupture risk; optimal control of the inlet condition of a turbulent jet to ensure proper mixing; information-theoretic approaches to optimally designing sensing systems; and algebraic multigrid and numerical upscaling for flow in porous media.

  • Diagram of the Bayesian inverse problem workflow
    Extracting knowledge from data by solving inverse problems
  • Realization of a Gaussian random field
    Scalable sampling algorithms for Gaussian random fields
  • Patient-specific blood flow simulation
    Computational hemodynamics
  • Two-phase porous media flow simulation
    Two-phase porous media flow
  • Hierarchy of agglomerated meshes
    Hierarchy of agglomerated meshes for element-based AMG
Full record

Browse the complete list of publications, or find me on Google Scholar.