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

OH: 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 »

Upcoming travels

Note: I am on sabbatical for the first part of 2024, and will primarily be in Cape Town through mid-June. I will be in the US in March and in Europe for part of May.

2024-03-21: Simons Hidden Symmetries Annual Meeting

2024-04-02: SANUM 2024

2024-05-13: SIAM Conference on Applied Linear Algebra (LA24)

Currently teaching

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 »