Jon Kleinberg
Assistant Professor
kleinber@cs.cornell.edu

http://www.cs.cornell.edu/home/kleinber/kleinber.html

Ph.D. MIT, 1996.

 My research is centered around the design of efficient algorithms, with an emphasis on combinatorial optimization, discrete algorithms for networks, and problems in high-dimensional geometry. Many basic problems in these domains are computationally intractable, and I am interested in developing approximation algorithms with provable performance guarantees for such problems.

 A major focus of my work has been on the algorithmic problems that arise large-scale communication networks. Such networks, and their technological precursors, are closely connected with many of the core issues of combinatorial optimization, such as multicommodity flow and disjoint paths in graphs. In recent work with Eva Tardos, we developed approximation algorithms for versions of the disjoint paths problem arising in the context of virtual circuit routing. I also recently developed approximation algorithms for a related NP-hard routing problem, "unsplittable flow", for terminals connected to a single source in an arbitrary network.

 In a related vein, I have been investigating new models in which to study the stability of packet-routing networks that must operate continuously over time. With Allan Borodin, Prabhakar Raghavan, Madhu Sudan, and David Williamson, we developed and analyzed an "adversarial" model for packet generation in a network, which allows one to prove stability properties without probabilistic assumptions.

 I am interested in using techniques from high-dimensional geometry to attack a wide array of hard algorithmic problems. I have been applying such techniques in domains ranging from the approximation of discrete optimization problems to the efficient indexing of numerical data. One line of work concerns the interplay between these methods and some notoriously intractable problems in low-dimensional geometry, such as biomolecular structure prediction and general geometric embedding problems.

 Awards

Alfred P. Sloan Research Fellowship.
NSF Faculty Early Career Development Award.

Professional Activities

 Reviewer: Journal of the ACM, SIAM Journal on Computing, Algorithmica, Information Processing Letters.

 Lectures

Authoritative sources in a hyperlinked environment. Xerox Palo Alto Research Center, July 1997. IBM Almaden Research Center, June 1997.
Nearest-neighbor search in high dimensions. ACM Symposium on Theory of Computing, May 1997. MIT Theory of Computation Seminar, April 1997. Stanford University Algorithms Seminar, February 1997. UC Berkeley Computer Science Theory Seminar, February 1997.
Short paths in expander graphs. IEEE Symposium Foundations of Computer Science, October 1996. (with R. Rubinfeld).
Single-source unsplittable flow. IEEE Symposium on Foundations of Computer Science, October 1996.

Publications

Two algorithms for nearest-neighbor search in high dimensions. Proc. 29th ACM Symposium on Theory of Computing, 1997.
Allocating bandwidth for bursty connections. Proc. 29th ACM Symposium on Theory of Computing, 1997. (with Y. Rabani, E. Tardos.)
Single-source unsplittable flow. Proc. 37th IEEE Symposium on Foundations of Computer Science, 1996.
Short paths in expander graphs. Proc. 37th IEEE Symposium on Foundations of Computer Science, 1996. (with R. Rubinfeld.)
Universal stability results for greedy contention-resolution protocols. Proceedings 37th IEEE Symposium on Foundations of Computer Science, 1996. (With D.M. Andrews, B. Awerbuch, A. Fernandez, F.T. Leighton, Z. Liu.)
Reconstructing a three-dimensional model with arbitrary errors. Proceedings 28th ACM Symposium on Theory of Computing, 1996.(with B. Berger, F.T. Leighton.)
Approximations for the disjoint paths problem in high-diameter planar networks. to appear in special issue of Journal of Computer and System Sciences. (With E. Tardos.)