487 CIS Building
Dept of Computer Science
Cornell University
Ithaca, NY 14853-5169
(or Zoom)

OH: W 9-10, Fri 10:30-12, or by appointment
Bookings page
bindel@cornell.edu
Office phone: 607-255-5395

Research highlights

Optimizing stellarators

Advancing magnetic confinement fusion through optimization and hidden symmetries.

Verified numerics

Formally correctness proofs for floating point codes.

Kernel methods

Theory and scalable algorithms for kernel-based function approximation.

Parallel surrogate optimization

Asynchronous parallel algorithms for finding minima fast by fitting functions to surrogate models.

Spectral network analysis

Fast spectral tools for graph structure.

More projects »

Currently teaching

Matrix Computations (CS 6210)

MW 10:10-11:25 in Gates 114 (or Zoom).

Numerical linear algebra. Basic theory, efficient algorithms, and enough error analysis to avoid numerical embarrassment (we hope)! Direct and iterative methods for linear systems, least squares, and eigenvalues.

Projects (CS [45]999)

    See my list of projects!

    If nothing on the list appeals but you think you’d like to work with me on something, come knock on my door. I don’t bite.


    More classes »

    Upcoming travels

    2025-10-03: DMML Workshop

    2025-10-17: Simons MPS Annual Meeting

    2025-10-31: SIAM NNP Annual Meeting

    2026-02-15: Dagstuhl on Reduced and Mixed Precision Computing

    2026-03-19: Hidden Symmetries Annual Meeting