[David's pic]

David Bindel

823 Warren Weaver Hall
Department of Mathematics
Courant Institute of Mathematical Sciences
New York University
251 Mercer Street
New York, NY 10012
Phone: 212-998-3155; Fax: 212-995-4121

I have moved to Cornell.

As of Fall 06, I am a Courant Instructor in the department of mathematics at NYU. Prior to that, I was a graduate student in the computer science division at UC Berkeley. Parts of these pages were written prior to my move, and some sections may be out of date or may have broken links. Caveat lector.

Research interests include:

More generally, I'm interested in a variety of topics that involve software design, mathematical analysis, and physical modeling. I work with engineers and scientists to simulate systems as diverse as cell phone components, peer-to-peer overlay networks, and musical instruments. My work is described in more detail in my CV and research statement; some of this work is described in much more detail in my dissertation.

MEMS Simulation

My current work with MEMS simulation primarily involves the design of high-frequency resonators for RF applications, and in particular studying damping in these systems. To simulate these devices, I've written a finite element code (HiQLab), which is currently under active development.

SUGAR is a system-level simulator for MEMS, meant to follow in the steps of the popular SPICE circuit simulator. I wrote much of the code for SUGAR 2, and most of the code for SUGAR 3, but now spend much more time on HiQLab.

Numerical linear algebra

Much of my recent work focuses on algorithms for structured and parameter-dependent eigenvalue calculations. The structured eigensolvers are joint work with Ming Gu; work on continuation of invariant subspaces is joint with Mark Friedman and Jim Demmel. I also collaborate with Zhaojun Bai on structured model reduction procedures.

I was also responsible for release 3.0 of the CLAPACK library, a C translation of LAPACK, a popular package of Fortran routines for dense linear algebra.

Floating point computation

Partly due to the influence of W. Kahan, I have become interested in floating-point arithmetic.

Network Tomography and Peer-to-Peer Systems

Recently, I have worked with Yan Chen on a linear-algebraic approach to monitoring the behavior of overlay networks.

I was previously involved in the OceanStore project.

Finite element analysis

I write my own finite element codes for some simulations, and for others I use FEAP. I developed the memory management system used in FEAP 7.5, as well as a few add-ons which are not part of the main distribution.

Valid CSS! Valid XHTML 1.0 Transitional