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

OH: Thu 1:30-2:30, Fri 1-2, 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

Systems Programming (CS 4414/5416)

    TR 2:55-2:10 in Baker Laboratory 200.

    Systems programming in the Rust programming language. Students will learn to program in Rust; model and profile program performance; use standard Unix system abstractions; and write efficient and correct concurrent and asynchronous programs. Students in 5416 will also get experience with writing networked codes and running them on servers in the cloud.

    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 »

        Upcoming travels