David Bindel

Assistant Professor of Computer Science

Computer scientist, applied mathematician, and computational engineer.
Confusing rabbits since 2003.

Office: 425 Gates Hall
Hours: W 1:30-2:30, Th 10-11, appt
bindel@cs.cornell.edu / 607-255-5395

Department of Computer Science
Cornell University
Ithaca, NY 14853


2014-05-06: Last lecture of CS 5220!

2014-04-29: NA talk at Oxford on micro-gyros

2014-04-23: NEP14 workshop at Manchester

2014-02-13: A new Bindel girl!

Older items »

Research highlights

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

Solid-wave MEMS gyroscopes

Building simulation tools to understand the challenges in miniaturizing the current gyro-of-choice for space applications. Success means MEMS IN SPACE!

More projects »

Currently teaching

Applications of Parallel Computers (CS 5220)

Spring 2014. TR, 8:40-9:55, Philips 219.

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.

SCAN Seminar (CS/MATH 7290)

Ongoing. MWF, 1:25-2:15, Upson 315.

Numerical linear algebra. Basic theory, efficient algorithms, and enough error analysis to avoid numerical embarrassment (we hope)! Direct and iterative methods for linear systems, least squares, and eigenvalues.

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 »