R. Korf's Biography

Education

Carnegie-Mellon University, 1977 - 1983

Ph.D. in computer science, May 1983. Artificial intelligence thesis on "Learning to Solve Problems by Searching for Macro-Operators" under Professor Herbert Simon.
M.S. in computer science, Aug 1980.

M.I.T., 1973 - 1977

B.S. in electrical engineering and computer science, June 1977. Bachelor's thesis in computer-aided design under Professor Gerald Sussman.

U.C.L.A., 1985 - present
Professor of Computer Science. Research in problem solving, heuristic search, and planning in artificial intelligence. Teaching includes graduate and undergraduate AI courses and undergraduate architecture course.
Assistant Professor, 1985-1988, Associate Professor, 1988-1995.
Columbia University, 1983 - 1985
Herbert M. Singer Assistant Professor of Computer Science. Teaching included an honors-level introduction to computer science, digital logic, and a graduate AI course.

Lockheed Martin Excellence in Teaching, 2005
Student's Choice Award for Excellence in Teaching, UCLA Engineering Students Association, 1996
Fellow of American Association for Artificial Intelligence, 1994
UCLA Computer Science Department Distinguished Teaching Award, 1989
NSF Presidential Young Investigator Award, 1986
IBM Faculty Development Award, 1985
Herbert M. Singer Assistant Professor at Columbia University, 1984

Member, Program Committee, International Joint Conference on Artificial Intelligence (IJCAI), 1989, 1997.
Member, Editorial Board, Artificial Intelligence, 1996-present.
Councilor, American Association for Artificial Intelligence, 1995-1998.
Program Co-Chair, National Conference on Artificial Intelligence (AAAI-94), 1994.
Associate Editor, Journal of Artificial Intelligence Research, 1993-1996.
Member, Editorial Board, Journal of Applied Intelligence, 1989-present.
Member, Program Committee, National Conference on Artificial Intelligence (AAAI)- 1986, 1987, 1990, 1991, 1992, 1993, 1996.
Member, NSF Review Panels, 1984, 1986, 1988, 1992, 1993, 1997.
Associate Editor, IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI), 1987-1989.
Program Chair, AAAI Symposium on Planning and Search, Stanford, 1989.