Henry Kautz is a Professor in the Department of Computer Science and Engineering at the University of Washington. He joined the faculty in the summer of the year 2000 after a career at Bell Labs and AT&T Laboratories, where he was Head of the AI Principles Research Department. His academic degrees include an A.B. in mathematics from Cornell University, an M.A. in Creative Writing from the Johns Hopkins University, an M.Sc. in Computer Science from the University of Toronto, and a Ph.D. in computer science from the University of Rochester. He is a recipient of the Computers and Thought Award from the International Joint Conference on Artificial Intelligence and a Fellow of the American Association for Artificial Intelligence. In 1998 he was elected to the Executive Council of AAAI, and in 2000 was Program Chair for the AAAI National Conference. He is the author of the infamous AI limericks . |
kautz@cs.washington.edu http://www.cs.washington.edu/homes/kautz Voice: (206) 543-1896 Fax: (530) 430-3432 Personal email: henrykautz@yahoo.com Personal web page: http://henrykautz.org Office Hours: by appointment during July and August Office: Room 666, Paul G. Allen Center | Dept. of Computer Science & Engineering University of Washington, Box 352350 Paul G. Allen Center, Room CSE101 185 Stevens Way Seattle, WA 98195-2350 |
Links |
Current
Past
- CSE 326 Introduction to Data Structures & Algorithms, Winter 2005
- CSE 591HK Research in Behavior Recognition, Winter 2005
- CSE 590UC/AI (Combined) Current Research in Ubiquitous Computing and AI, Winter 2005
- CSE 590MV Markovia (Reading Seminar in Probabilistic Models), Winter 2005
- CSE 590AI Current Research in Artificial Intelligence, Autumn 2004
- CSE 590MV Markovia (Reading Seminar in Probabilistic Models), Autumn 2004
- CSE P573 Professional Masters Program Introduction to Artificial Intelligence, Autumn 2004
- CSE 574 Modeling Human Intelligence (AI II), Winter 2004
- CSE CSE 473 Introduction to Artificial Intelligence, Autumn 2003
- CSE 590HK Reading Seminar in Assisted Cognition, Spring 2003
- CSE 592 Applications of Artificial Intelligence (PMP), Winter 2003
- CSE 326 Data Structures, Autumn 2002
- CSE 590HK Reading Seminar in Assisted Cognition, Autumn 2002
- CSE 590HK Reading Seminar in Assisted Cognition, Spring 2002
- CSE 326 Data Structures, Winter 2002
- CSE 573, Artificial Intelligence I, Autumn 2001
- CSE 590 HK, Learning to Reasoning, Spring 2001
- CSE 590 AI, Graduate Research in Artificial Intelligence, Spring 2001
- CSE 574 Knowledge Representation (AI II), Winter 2001
- CSE 326 Data Structures, Fall 2000
Educational Resources
- The WEKA machine learning library
- Search Algorithm Demonstration
- Joone - Java Object Oriented Neural Engine
Current
- Lin Liao (co-supervised by Dieter Fox) is working on learning models of human movement and activity using relational factor graphs.
- Karthik Gopalratnam (co-supervised by Dan Weld) just finished his quals (Masters) project on continuous time Bayesian networks.
- Tian Sang (co-supervised by Paul Beame) is working on algorithms for model counting.
- Brian Ferris is working on user interfaces for assisted cognition systems, including decision-theoretic control of prompting and guidance.
- Danny Wyatt (co-supervised by Tanzeem Choudhury) is working on creating social networks from sensor data
Graduated
- Don Patterson (co-supervised by Dieter Fox) worked on activity tracking and guidance as part of the Assisted Cognition project, and completed his PhD in 2005. He is now an assistant professor at University of California at Irvine.
- Ashish Sabharwal (co-supervised by Paul Beame) worked on proof complexity and clause-learning (among other things), and completed his PhD in 2005.
- Yongshao Ruan worked on learning restart strategies as part of the CORE Project, and completed his PhD in 2004.