612 Rhodes Hall
Dept of Computer Science
Cornell University
Ithaca, NY 14853-5169
(or Zoom)

OH: M 3:30-4:30, W 4:00-5:00, 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

Numerical Methods for Data Science (CS 6241)

TR 2:55-4:20 in Snee 1120.

Discussion of numerical methods in the context of machine learning and data analysis problems. We will discuss sparsity, rank structure, and spectral behavior of underlying linear algebra problems; convergence behavior and implicit regularization for standard solvers; and comparisons between numerical methods in data analysis and those used in physical simulations.

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-02-03: Plasma physics seminar at UW Madison

    2025-03-03: SIAM CSE 2025

    2025-03-17: Hidden Symmetries Team Meeting

    2025-03-20: Hidden Symmetries Annual Meeting

    2025-03-22: HiFiStell Team Meeting

    2025-06-08: Householder Symposium

    2025-07-14: Hidden Symmetries Retreat at UW Madison