David Bindel

Assistant Professor of
Computer Science

CS, applied math, and CSE.
Confusing rabbits since 2003.

425 Gates Hall
Dept of Computer Science
Cornell University
Ithaca, NY 14853

OH: W 1:30-2:30, Th 10-11
Scheduler link

Research highlights

Making grids smarter

New algorithms for diagnosing line failures in a smart grid.

Declarative HPC

Optimizing parallel code is hard -- so automate as much as possible.

Rank-structured PDE solvers

Moving toward pain-free fast direct sparse solvers for 3D PDEs.

Nonlinear eigenvalue bounds

Generalizing classic eigenvalue localization results (e.g. Gershgorin).

More projects »

Currently teaching

Numerical Analysis: Linear and Nonlinear Problems (CS 4220/5223 / MATH 4260)

Spring 2015. MWF 2:30-3:20 PM, Gates Hall G01.
See enrollment notes if you were unable to enroll in fall.

Fundamentals of numerical linear algebra (linear systems, eigenvalues and SVDs), on which we’ll build iterative methods for nonlinear systems and multivariate optimization. Understanding advantages, disadvantages, and practical limits of numerical methods. Programming required.

SCAN Seminar (CS/MATH 7290)

Ongoing. M 1:25-2:15, Gates 406.

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 »