Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Hassan Aït-Kaci

Research Interests

Foundation, implementation, and application, of programming languages for intelligent software

Contact Information

email: hak@cs.sfu.ca
Address: School of Computing Science, Simon Fraser University, Burnaby, BC, Canada V5A 1S6
Phone: +1-604-291-5589
Fax: +1-604-291-3045

Vita

Title: Professor of Computing Science; Director, Intelligent Software Group.

Current Research: My research deals with

(1) the theoretical exploration,

(2) the practical implementation, and

(3) the convenient utilization,

of computational methods and structures capable of dramatically improving the level of abstraction, productivity, and reliability of computer programming for advanced applications.

My overall motivation is to

(1) contribute to science by studying and explicating fundamental principles that underlie new essential ways of programming computers,

(2) engineer a technology of efficient implementation by systematically developing compilation techniques tailored to the novel computational methods and structures to be discovered, and

(3) illustrate the effectiveness and power of these innovations by seeing to the practical realization of advanced applications.

The intention for these applications is to use them as ``proof-of-concept'' prototypes; i.e., explicit templates to guide and inspire larger industrial-strength projects.

I have been active in constraint-based programming, object-orientation, logical and functional programming, and the design of compiling techniques to support these computational paradigms.

Laboratory Affiliations: Intelligent Software Group (director), Intelligent Systems Lab (associate), Logic Programming Lab (associate).

Education: Habilitation à diriger des recherches (Informatique), Université de Paris-VII, Paris, France, 1990; Ph.D. (Computer Science), University of Pennsylvania, Philadelphia, PA, 1984; M.Sc. (Computer Science), University of Pennsylvania, Philadelphia, PA, 1982; Maîtrise (Informatique), Université de Grenoble, Grenoble, France, 1976.

Current Graduate Students: 1 MSc student, 1 PhD student

Recent Funding: NSERC, Ebco/Eppich Endowment, MPR Teltech, Advanced Systems Institute of British Columbia, Science Council of British Columbia.

Selected Publications

Hassan Aït-Kaci, Andreas Podelski, and Seth Copen Goldstein, ``Order-Sorted Feature Theory Unification'', Journal of Logic Programming, 30(2), pp. 99-124, February 1997.

Hassan Aït-Kaci and Bruno Dumant, ``An Object-Oriented Constraint-Logic Programming Implementation of a Toolkit for Graphical User Interfaces'' Proceedings of Euro-Graphics Workshop on Programming Paradigms in Graphics, Maastricht, The Netherlands, March 1995.

Hassan Aït-Kaci and Andreas Podelski, ``Functions as Passive Constraints in LIFE,'' ACM Transactions on Programming Languages and Systems, 16(3), pp. 1-40. May, 1994.

Hassan Aït-Kaci and Jacques Garrigue, ``Label-Selective Lambda-Calculus: Syntax and Confluence,'' Proceedings of the 13th International Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India. Lecture Notes in Computer Science 761, December 1993.

Hassan Aït-Kaci, ``An Introduction to LIFE - Programming with Logic, Inheritance, Functions, and Equations,'' Proceedings of the 10th International Logic Programming Symposium, Vancouver, BC, Canada, October 1993, pp. 1-17.

Hassan Aït-Kaci, Andreas Podelski, and Gert Smolka, ``A Feature Constraint System for Logic Programming with Entailment,'' Theoretical Computer Science, 122, pp. 263-283. 1994.

Hassan Aït-Kaci and Andreas Podelski, ``Towards a Meaning of LIFE,'' Journal of Logic Programming, 16(3&4), pp. 195-234. 1993.

Hassan Aït-Kaci, Warren's Abstract Machine: A Tutorial Reconstruction. MIT Press, Series in Logic Programming. 1991.

Hassan Aït-Kaci and Patrick Lincoln, ``LIFE--a Natural Language for Natural Language,'' T.A. Informations, 30(1-2), Association pour le Traitement Automatique des Langues, Paris, France, pp. 37-67. 1989.

Hassan Aït-Kaci, Roger Nasr, and Jungyun Seo, ``Implementing a Knowledge-Based Library Information System with Typed Horn Logic,'' Information Processing & Management, 26(2), pp. 249-268. 1990.

Hassan Aït-Kaci and Maurice Nivat (Eds.), Resolution of Equations in Algebraic Structures, Vols. I and II, Academic Press, Boston, 1989.

Gert Smolka and Hassan Aït-Kaci, ``Inheritance Hierarchies: Semantics and Unification,'' Journal of Symbolic Computation, 7, pp. 343-370. 1989.

Hassan Aït-Kaci, Robert Boyer, Patrick Lincoln and Roger Nasr and ``Efficient Implementation of Lattice Operations,'' ACM Transactions on Programming Languages and Systems, 11(1), pp. 115-146. January 1989.

Hassan Aït-Kaci and Roger Nasr, ``Integrating Logic and Functional Programming,'' Journal of Lisp and Symbolic Computation, 2, pp. 51-89. 1989.

Hassan Aït-Kaci, ``An Algebraic-Semantics Approach to the Effective Resolution of Type Equations,'' Theoretical Computer Science, 45, pp. 293-351. 1986.

Hassan Aït-Kaci and Roger Nasr, ``LOGIN: A Logic-Programming Language with Built-In Inheritance,'' Journal of Logic Programming, 3, pp. 185-215. 1986.

hak@cs.sfu.ca