People > Faculty > Emeritus Professors
|
William S. Havens, Professor Emeritus, Computing ScienceArea: Constraint Reasoning and Intelligent Systems
Office: TASC 9425 |
Biography
Education
B.Sc. Electrical Eng., Va. Polytechnic Inst., 1969M.Sc. Electrical Eng., Va. Polytechnic Inst., 1973
Ph.D. Computer Science, Univ. of British Columbia, 1978.
Work History
Associate Professor in the School of Computing Science at Simon Fraser University (now retired)Research Interests
- My research is concerned with developing Constraint Programming methodology for Intelligent Systems applications. The methodology includes constraint solving algorithms, systematic and heuristic search procedures, constraint optimization, belief propagation and multiagent systems. Our research group forms the SFU Intelligent Systems Laboratory .
Constraint Programming is an effective technology for solving real-world combinatorial problems in scheduling, planning and configuration. We are particularly interested in mixed-initiative reasoning systems which allow strong peer interaction between the intelligent system and the user of the system. My current research focuses on combining incremental constructive search methods and iterative repair methods in a unified multiagent architecture called Resolver. We are also interested in adapting bayesian propagation algorithms as heuristics for solving constraint satisfaction problems.