Experience
Education
Bio
• Education B.A. - 1986-1989 Hebrew University of Jerusalem, Mathematics and Physics (Magna Cum Laude). M.Sc. - 1989-1991 Hebrew University of Jerusalem, Computer Science (Summa Cum Laude). Thesis title: “A First-Order Logic of Normality: Predicate Calculus with Assertions”. Supervisor: Prof. Menachem Magidor. Ph.D. - 1991-1996 Stanford University. Computer Science. Thesis title: “Qualitative Models of Information and Decision Making: Foundations and Applications.” Supervisor: Prof. Yoav Shoham. • Employment History [Jan. 1992 – Dec. 1996] Research assistant. Stanford University, Robotics Lab, Stanford, California. [Jan. 1996 – Sep. 1997] Postdoctoral Fellow. University of British Columbia, Department of Computer Science, Vancouver, B.C., Canada. [Sep. 1997 – Sep. 2001 ] Lecturer. Ben-Gurion University, Department of Computer Science, Beer-Sheva, Israel. [Oct. 2001 – Nov. 2004] Senior Lecturer. Ben-Gurion University, Department of Computer Science, Beer-Sheva, Israel. [Sep. 2004 – June 2005] Visiting Research Scientist. NASA Ames Research Center, Moffet Field, CA, USA. [Sep. 2004 – Sep. 2006] Visiting Associate Professor. Stanford University, Department of Computer Science, Stanford, CA, USA. [Oct. 2004 – April 2010] Associate Professor. Ben-Gurion University, Department of Computer Science, Beer-Sheva, Israel. [April 2010 – Present] Professor. Ben-Gurion University, Department of Computer Science, Beer-Sheva, Israel. Honors, awards [1986-1989] Dean’s List, Hebrew University of Jerusalem. [1987] The De-Shalit Physics Workshop Award. Weizmann Institute of Science. [1987] President’s Award. Hebrew University of Jerusalem. [1992] Passed AI Qualification Exam with Distinction. Stanford University. [1996] Nominated to the ACM Best Dissertation Award by Stanford University. [1996] Arthur Samuel Memorial Thesis Award. Stanford University. [2004] Best Paper Award: Second International Conference on AI Planning and Scheduling, Whistler, Canada. [2008] Best Paper Award: Sixth International Conference on AI Planning and Scheduling, Sydney, Australia. [2009] JAIR-IJCAI Best Paper Award. Awarded to an outstanding paper published in JAIR in the preceding five calendar years. [C. Boutilier, R. I. Brafman, C. Domshlak, H. Hoos, and D. Poole, “CP-nets: A Tool for Representing and Reasoning with Conditional Ceteris Paribus Preference Statements”, Journal of AI Research, 21: 135-191, 2004.]