David Woodruff

David Woodruff, Computer Science, SCS CMU

Professor

Website

ORCID 0000-0002-2158-1380

Office

7217 Gates and Hillman Centers

Email

Department

Computer Science Department

Administrative Support

Christina Contreras

Research Areas

Research Interests

     Algorithms and Complexity

     Machine Learning

Advisees

Hoai-An Nguyen

Kijun Shin

CSD Courses Taught

15251 - Spring, 2026

My current research interests are communication complexity, data stream algorithms and lower bounds, graph algorithms, machine learning, numerical linear algebra, sketching, and sparse recovery.

Publications

Preprint

Aletheia tackles FirstProof autonomously

2026
Feng T, Jung J, Kim S-H, Pagano C, Gukov S, Tsai C-C, Woodruff D, Javanmard A, Mokhtari A, Hwang D, Chervonyi Y, Lee JN, Bingham G, Trinh TH, Mirrokni V, Le QV, Luong T