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