Research Staff
| Research Associates | |
| Stuart Allen | |
| Yuri Boykov | |
| Paul Chew | Computational geometry with an emphasis on practical applications, including mesh generation, vision, and protein shape-comparison |
| Carla Gomes | |
| Dean Krafft | |
| Christoph Kreitz | Development of automatic proof procedures and the application of automated deduction to the development of reliable software |
| Carl Lagoze | Digital libraries concentrating on metadata, infrastructure and interoperability, and object models |
| Yuying Li | Optimization and computational finance |
| Paul Stodghill | |
|
Robbert VanRenesse |
Scalable, adaptive, and secure group communication protocols |
| Werner Vogels | |
| Richard Zippel | |
| Research Staff | |
| Bela Ban | Java-based reliable group communication toolkit, middleware, OOT |
| Donna Bergmark | Digital Library Research Group, reference linking. |
| Raoul Bhoedjang | Communication architectures and computer security |
| Philippe Bonnet | Databases |
| Tim Clark | Distributed, fault-tolerant systems |
| Naomi Dushay | Interoperable and extensible architectures for distributed digital libraries, and resource discovery process |
| Rich Eaton | |
| Lori Lorigo | Automated Theorem Proving |
| Jarek Meller | Computational biology, protein folding |
| Sandy Payette | |
| Arun Verma | Tools for Computational Finance and Automatic Differentiation |
| Veaceslav Zaloj | Stochastic trajectories approach for long time dynamics in proteins and ion channels, molecular dynamics computations and parallel numerical algorithms for computational biology |