CURRICULUM VITAE FOR DAPHNE KOLLER

Contents

• Research Interests
• Education
• Employment History
• Awards and Honors
• Students Supervised
• Professional Activities
• List of Papers
• Back to my homepage

• Ph.D Computer Science, Stanford University 1989-1993
  Dissertation: From Knowledge to Belief
  Advisor: Professor Joseph Y. Halpern
  
• M.Sc. Computer Science, summa cum laude
  Hebrew University of Jerusalem 1985-1986
  Dissertation: Token Survival -- Resilient Token Algorithms
  Advisor: Professor Danny Dolev
  
• B.Sc. Mathematics & Computer Science, cum laude
  Hebrew University of Jerusalem 1982-1985
  

• Lise Getoor: Ph.D. student, Stanford University; started Fall 1995.
• Avi Pfeffer: Ph.D. student, Stanford University; started Fall 1995.
  Also supervised in an undergraduate research project (U.C. Berkeley, 1994--1995). Joint conference paper (IJCAI~'95) on solving imperfect information games.
• Mehran Sahami: Ph.D. student, Stanford University; started Fall 1993. Joint conference paper (ML~'96) on feature selection for machine learning.
• Alexander Kozlov: Ph.D. student, Stanford University; started Fall 1992.
• Sabine Glesner: M.Sc. student, U.C.\ Berkeley, December 1994. Thesis: Constructing Flexible Dynamic Belief Networks from First-Order Probabilistic Knowledge Bases. Joint conference paper (ECSQARU~'95) on knowledge-based model construction of probabilistic networks.

• Journal Editorial Board Member: Journal of Artificial Intelligence Research (JAIR).
• Participant NSF Review Panel, CAREER and regular proposals, 1996;
• Participant ACM Workshop on Strategic Directions in Computing Research, AI Working Group, 1996.
• Organizing committees:
  AAAI Fall Symposium on Learning Complex Behaviors in Adaptive Intelligent Systems, 1996.
• Conference program committees:
  National Conference on Artificial Intelligence (AAAI), 1994;
  Conference on Uncertainty in Artificial Intelligence (UAI), 1995;
  Conference on Theoretical Aspects of Rationality and Knowledge (TARK), 1996;
  International Symposium on Artificial Intelligence and Mathematics, 1996;
  National Conference on Artificial Intelligence (AAAI), 1996;
  Conference on Uncertainty in Artificial Intelligence (UAI), 1996.
  
• Local arrangements:
  Conference on Theoretical Aspects of Reasoning about Knowledge (TARK), 1994.
  
• Refereeing:FOCS '95, IJCAI '95, Journal of the ACM, Artificial Intelligence, SIAM Journal on Computing, Information and Computation, Computational Intelligence, IEEE Transactions on Computers, Games and Economic Behavior, Information Processing Letters.
• Professional organizations:
  American Association for Artificial Intelligence (AAAI).
  Association for Uncertainty in Artificial Intelligence.

• Structured Representations and Intractibility, Position Paper for the AI Working Group, of the ACM Workshop on Strategic Directions in Computing Research, 1996.
• Information agents: A new challenge for AI, D. Koller and Y. Shoham. IEEE Expert, June 1996, pages 8-10.
• A Response to `Believing on the basis of evidence', F. Bacchus, A.J. Grove, J.Y. Halpern, and D. Koller. Computational Intelligence, 10:1, 1994.
• Generating degrees of belief from statistical information: An overview, F. Bacchus, A.J. Grove, J.Y. Halpern, and D. Koller. Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Bombay, India, 1993, pages 318-325.

PUBLICATIONS in REFEREED JOURNALS

• Finding mixed strategies with small supports in extensive form games, D. Koller and N. Megiddo. International Journal of Game Theory, 25:1, March 1996, pages 73-92.
• Minmax equilibria in team games, B. von Stengel and D. Koller. Games and Economic Behavior, to appear.
• From statistical knowledge bases to degrees of belief, F. Bacchus, A.J. Grove, J.Y. Halpern, and D. Koller. Artificial Intelligence, to appear.
• Efficient computation of equilibria for extensive two-person games, D. Koller, N. Megiddo, and B. von Stengel. Games and Economic Behavior, to appear.
• Asymptotic conditional probabilities: The unary case, A.J. Grove, J.Y. Halpern, and D. Koller. SIAM Journal on Computing, 25:1, February 1996, pages 1--51.
• Asymptotic conditional probabilities: The non-unary case, A.J. Grove, J.Y. Halpern, and D. Koller. Journal of Symbolic Logic, 61:1, March 1996, pages 250--276.
• Random worlds and maximum entropy, A.J. Grove, J.Y. Halpern, and D. Koller. Journal of Artificial Intelligence Research, August 1994, pages 33--88.
• Constructing small sample spaces satisfying given constraints, D. Koller and N. Megiddo. SIAM Journal on Discrete Mathematics, 7:2, May 1994, pages 260--274.
• Finding the hidden path: time bounds for all-pairs shortest paths, D.R. Karger, D. Koller, and S.J. Phillips. SIAM Journal on Computing 22:6, December 1993, pages 1199-1217.
• The complexity of two-person zero-sum games in extensive form, D. Koller and N. Megiddo. Games and Economic Behavior 4:4, October 1992, pages 528--552.
• Fault-tolerant critical section management in asynchronous environments, A. Bar-Noy, D. Dolev, D. Koller, and D. Peleg. Information and Computation 95:1, November 1991, pages 1--20.

PUBLICATIONS in REFEREED CONFERENCES

• Context-Specific Independence in Bayesian Networks, C. Boutilier, N. Friedman, M. Goldszmidt, and D. Koller. Proceedings of the 12th Annual Conference on Uncertainty in AI (UAI), Portland, Oregon, August 1996, pages 115--123.
• Toward optimal feature selection, D. Koller and M. Sahami. Proceedings of the 13th International Conference on Machine Learning (ML), Bari, Italy, July 1996, pages 284--292.
• Irrelevance and conditioning in first-order probabilistic logic, D. Koller and J.Y. Halpern. Proceedings of the 13th National Conference on Artificial Intelligence (AAAI), Portland, Oregon, August 1996, pages 569--576.
• First-order conditional logic revisited, N. Friedman, J.Y. Halpern, and D. Koller. Proceedings of the 13th National Conference on Artificial Intelligence (AAAI), Portland, Oregon, August 1996, pages 1305--1312.
• Stochastic simulation algorithms for dynamic probabilistic networks, K. Kanazawa, D. Koller, and S.J. Russell. Proceedings of the 11th Annual Conference on Uncertainty in AI (UAI), Montreal, Canada, August 1995, pages 346--351.
• Local Learning in Probabilistic Networks with Hidden Variables, S.J. Russell, J. Binder, D. Koller, and K. Kanazawa. Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI), Montreal, Canada, August 1995, pages 1146--1152.
• Representation dependence in probabilistic inference, J.Y. Halpern and D. Koller. Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI), Montreal, Canada, August 1995, pages 1853--1860.
• Generating and solving imperfect information games, D. Koller and A.J. Pfeffer. Proceedings of the 14th International Joint Conference on Artificial Intelligence (IJCAI), Montreal, Canada, August 1995, pages 1185--1192.
• Constructing flexible dynamic belief networks from first-order probabilistic knowledge bases, S. Glesner and D. Koller. {\em Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU), Fribourg, Switzerland, July 1995. In Lecture Notes in Artificial Intelligence, Ch. Froidevaux and J. Kohlas (Eds.), Springer Verlag, 1995, pages 217-226.
• A game-theoretic classification of interactive complexity classes, J. Feigenbaum, D. Koller, and P. Shor. Proceedings of the 10th Annual IEEE Conference on Structure in Complexity Theory (STRUCTURES), Minneapolis, Minnesota, June 1995, pages 227-237.
• (De)randomized construction of small sample spaces in NC, D.R. Karger and D. Koller. Proceedings of the 35nd Annual Symposium on the Foundations of Computer Science (FOCS), Santa Fe, New Mexico, November 1994, pages 252-263.
• Generating new beliefs from old, F. Bacchus, A.J. Grove, and J.Y. Halpern, and D. Koller. Proceedings of the 10th Annual Conference on Uncertainty in AI (UAI), Seattle, Washington, July 1994, pages 37--45.
• Forming beliefs about a changing world, F. Bacchus, A.J. Grove, and J.Y. Halpern, and D. Koller. Proceedings of the 12th National Conference on Artificial Intelligence (AAAI), Seattle, Washington, August 1994, pages 222--229.
• Fast algorithms for finding randomized strategies in game trees, D. Koller, N. Megiddo, and B. von Stengel. Proceedings of the 26th ACM Symposium on Theory of Computing (STOC), Montreal, Canada, May 1994, pages 750--759.
• Statistical foundations for default reasoning, F. Bacchus, A.J. Grove, J.Y. Halpern, and D. Koller. Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI), Chambery, France, August 1993, pages 563--569.
• Constructing small sample spaces satisfying given constraints, D. Koller and N. Megiddo. Proceedings of the 25th ACM Symposium on Theory of Computing (STOC), San Diego, California, May 1993, pages 268--277.
• A logic for approximate reasoning, D. Koller and J.Y. Halpern. Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR), Cambridge, Massachusetts, October 1992, pages 153-164.
• From statistics to beliefs, F. Bacchus, A.J. Grove, J.Y. Halpern, and D. Koller. Proceedings of the 10th National Conference on Artificial Intelligence (AAAI), San Jose, California, July 1992, pages 602-608.
• Random worlds and maximum entropy, A.J. Grove, J.Y. Halpern, and D. Koller. Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science (LICS), Santa Cruz, California, June 1992, pages 22-33.
• Asymptotic conditional probabilities for first-order logic, A.J. Grove, J.Y. Halpern, and D. Koller. Proceedings of the 24th ACM Symposium on Theory of Computing (STOC), Victoria, Canada, May 1992, pages 294-305.
• Finding the hidden path: time bounds for all-pairs shortest paths, D.R. Karger, D. Koller, and S.J. Phillips. Proceedings of the 32nd Annual Symposium on the Foundations of Computer Science (FOCS), San Juan, Puerto Rico, October 1991, pages 560-568.
• Probability estimation in face of irrelevant information, D. Koller and A.J. Grove. Proceedings of the 7th Annual Conference on Uncertainty in AI (UAI), Los Angeles, California, July 1991, pages 127-134.
• Fault-tolerant critical section management in asynchronous environments, A. Bar-Noy, D. Dolev, D. Koller, and D. Peleg. Proceedings of the Third International Workshop on Distributed Algorithms (WDAG), Nice, France, September 1989, pages 13-23.
• Achievable cases in an asynchronous environment, H. Attiya, A. Bar-Noy, D. Dolev, D. Koller, D. Peleg, and R. Reischuk, Proceedings of the 28th Annual Symposium on the Foundations of Computer Science (FOCS), Los Angeles, California, October 1987, pages 337-346.

PUBLICATIONS in WORKSHOPS

• Approximate probabilistic inference in dynamic processes, D. Koller. Working Notes of the 1996 AAAI Spring Symposium on Learning Dynamical Systems.
• Qualitative planning under assumptions: A preliminary report, N. Friedman and D. Koller. Working Notes of the 1994 AAAI Spring Symposium on Decision-Theoretic Planning.