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

OH: Tue 10-12 (Gates 425), Fri 2-3:30 (Rhodes 612), and 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

2023-09-18: Simons-CIEMAT Joint Meeting on Stellarator Turbulence Optimization

2023-12-04: Simons Hidden Symmetries and Fusion Energy Collaboration Australian Retreat

Currently teaching

Numerical Methods for Data Science (CS 6241)

Hollister 320. TR 2:55-4:10.

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.

SCAN Seminar (CS/MATH 7290)

    Ongoing. M 1:30-2:20.

    The Scientific Computing and Numerics seminar series focuses on various methods in scientific computing, the analysis of convergence properties and computational efficiency, and their adaptation to specific applications.

    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 »