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

Applications of Parallel Computers (CS 5220)

TR 1:20-2:40 in Gates G01.

Overview of high performance scientific computing. Basics of modern parallel machine design, parallel programming patterns, and applications. Programming projects will likely inspire creative cursing, mostly due to the frustrations of parallel profiling and debugging.

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-03-03: SIAM CSE 2025

    2025-03-17: Hidden Symmetries Team Meeting

    2025-03-20: Hidden Symmetries Annual Meeting

    2025-06-08: Householder Symposium