# David Bindel

## Assistant Professor of

Computer Science

425 Gates Hall

Dept of Computer Science

Cornell University

Ithaca, NY 14853

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

Scheduler link

bindel@cs.cornell.edu

607-255-5395

## Research highlights

#### Making grids smarter

New algorithms for diagnosing line failures in a smart grid.

- FLiER: Practical Topology Error Correction Using Sparse PMUs (with Colin Ponce, submitted to IEEE TPS)

#### Declarative HPC

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

- Fast Iterative Graph Computation with Block Updates (with Wenlei Xie, Guozhang Wang, Al Demers, and Johannes Gehrke, in Proceedings of VLDB, Vol 6, No 14)
- Making time-stepped applications tick in the cloud. (with Tao Zou, Guozhang Wang, Marcos Vaz Salles, Al Demers, Johannes Gehrke, and Walker White, SOCC 2011)

#### Rank-structured PDE solvers

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

- Slides from a workshop at Waterloo Celebrating 40 Years of Nested Dissection (with Jeff Chadwick).

#### Nonlinear eigenvalue bounds

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

- Localization results for nonlinear eigenvalue problems (with Amanda Hood, submitted to SIMAX)
- Nonlinear Gershgorin talk at SIAM AN 13

## 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.