Abbreviated Curriculum Vitae for Michael A. Jenkins


Queen's University B.Sc.(Hons)	Mathematics/Physics	 1964

Stanford University M.S.	Computer Science	 1967

Stanford University Ph.D.	Computer Science	 1969

Present Positions

	Professor Emeritus 
	Computing and Information Science
	Queen's University
	Kingston, Ontario
	Canada  K7L 3N6
	Tel: (613) 545-6073
	Fax: (613) 545-6513

	Nial Systems Limited
	366 King St. East, Suite 540
	Kingston, Ontario
	Canada	K7K 6Y3
	Tel: (613) 542-6964
	     (800) 465-1798
	Fax: (613) 542-68277

Recent Professional Experience

Sept 1983 - April 1984	Visiting Professor
	Massachussets Institute of Technology

Dec 1988 - June 1991	Executive Director
	Information Technology Research Centre 
	(Ontario Centre of Excellence)

July 1991 - April 1992 Visiting Professor,
	Technical University of Denmark

June 1992 - Aug 1992 Visiting Professor
	IBM Centre for Advanced Studies, Toronto

Research Interests:

My early research in programming languages was primarily, although not exclusively, APL-related. It included a study of techniques for translating APL, a proposal for an extension to APL to include recursive data structures, the design of an extensible language based on APL concepts (with Jean Michel), and investigations into the semantics of APL using array-theoretic concepts (with Trenchard More).

Since 1981 I have been involved in the design of an integrated programming environment based on array operations and flexible typing rules. The initial stage of this project has been completed. The language Nial (pronounced Nyal) has been designed and a portable implementation is now running on a variety of machines and operating systems. It has been distributed to about 200 sites in 15 countries. It is being used to prototype software systems, to develop artificial intelligence techniques and in applications in animation graphics.

Recently I have worked very closely with Dr. Glasgow on applications of Nial to artificial intelligence. We looked at extensions to the language to support logic programming directly in the language.

An active collaboration with Prof. Franksen's group at the Technical University of Denmark has been underway since 1982. Two post-doctoral students spent a year at Queen's and contributed to the Nial design effort. Prof. Franksen is providing valuable feedback on the suitability of Nial for applications in system science. Professor Jan Jantzen is using Nial for applications in fuzzy control.

My research during the past few years has been on a typed array-based language and on techniques to implement a compiler for such a language. The results of this work are being retrofitted to Nial in an experimental system currently under development.

Current research also includes the exploration of ways to exploit parallelism in array-based computation. This includes joint work with Lenore Mullin on her Psi Calculus, and an examination of ways to exploit parallelism in Q'Nial.


In the past five years I have done consulting for:

	IBM Toronto Lab
	Lombard Insurance of Canada
	Objects Technology International
	Nial Systems Limited

Recent Research Publications

Refereed Journal Papers

Ellis, R.E., Sarkar, N., Jenkins, M.A., "Numerical Methods for the 
Haptic Presentation of Contact, AMSE Transactions on Dynamic Systems", 
Modeling and Control  (accepted April 1997).

Mullin, L. M., Jenkins, M.A., "Effective Data Parallel Computation using 
the Psi Calculus", Concurrency 1996.

Glasgow, J., Jenkins, M., Blevis, E., Feret, M.,"Logic Programming With 
Arrays", IEEE Transactions on Knowledge and Data Engineering, 3 3
307-319 1991.

Blevis, E.B., Jenkins, M.A., Robinson, E.P., "On Seeger's Music Logic",
INTERFACE:  Journal of New Music Research, 18 1 9-31 1989.

*Glasgow, J.I., Jenkins, M.A., McCrosky, Carl, Meijer, H, "Expressing
Parallel Algorithms in Nial", Parallel Computing Journal, 11 3 331-347 1989.

*Jenkins, M.A., "Q'Nial: A Portable Interpreter for the Nested Interactive
Array Language, Nial", Software Practice & Experience, 19 2 111-126 1989.

*Jenkins, M.A., Glasgow, J.I., "A Logical Basis For Nested Array Data
Structures", Computer Languages Journal, 14 1 35-51 1989.

McCrosky, Carl, Jenkins, M.A., "Design of a Processor for Array-Theoretic
Computation", Journal of Systems and Software, 9 1 67-74 1989.

Refereed Conference Papers

Ellis, R.E., Sarkar, N., Jenkins, M.A., "Numerical Methods for Haptic 
Presentation of Contact: Theory, Simulations, and Experiments", 
Proceedings of the Winter Annual Meeting of the American Society of 
Mechanical Engineers, November 1996.

Hung, H-K., Martin, P., Glasgow, J.I., Jenkins, M.A., Walmsley, C.,
"Querying and Exploring Large Knowledge Bases",  DEXA '93, 1993.

Franksen, O.I., Jenkins, M.A., " On Axis Restructuring Operations
for Nested Arrays", Proceedings of the 2nd International Workshop on
Array Structures ATABLE-92, Montreal, June 1992.

Blevis, E.B., Feret, M., and Jenkins, M.A. "A Computational paradigm for 
exploring creative musical thought", Proceedings of the Second International
Conference on Musical Structures and Information Technology. Marseille: 
Laboratoire Musique et Informatique de Marseille, October 1990.

Glasgow, J.I., Lawson, D., Jenkins, M.A., Feret, M., "An Architecture for
Real-Time Diagnostics Systems", Proceedings of The Third International
Conference on Industrial and Engineering Applications of Artificial
Intelligence and Expert Systems IEA/AIE-90, August 1990.

Blevis, Eli B., Jenkins, M.A., Motivations, Sources, and Initial Design
Ideas for CALM: A composition (Analysis/Synthesis) Language for Music.
AAAI Workshop on Computer Music & A.I., Aug 1988, American Association for
Artificial Intelligence, pp. 99 - 113, 1988.

Jenkins, M.A., Glasgow, J.I., Blevis, E., Hache, E., Lawson, D., "The Nial
AI Toolkit", Proceedings of the Avignon 8th International Workshop on Expert
Systems and their Applications, June 1988.

Chau, R., Glasgow, J.I. and Jenkins, M.A.,
"Fuzzy Information Management Using the Roster Model",
 "Proceedings of 21st Hawaii International Conference on System Sciences,"
(HICSS-21), January 1988.

Glasgow, J.I., Jenkins, M.A., McCrosky, Carl, Meijer, H., "Expressing
Parallel Algorithms in Nial", Proceedings of the 20th Hawaii International
Conference on System Sciences, Vol II, pp 163-170, Kona, Hawaii, Jan 1987.

Unrefereed Papers

Jenkins, M.A., Jenkins, W.H., The Q'Nial Version 6 Language & Reference
Manuals, Nial Systems Limited, Ottawa, Canada, 260 pages, (1993)

Blevis, E.B., Jenkins, M.A., Glasgow, J.I., "On Designing a Typed Music
Language", in "Understanding Music with AI: Perspectives on Music Cognition",
M. Balaban, K. Ebcioglu, O. Laske (eds.) The AAAI Press/The MIT Press,
Cambridge, Mass. pp. 140-154 (1992)

Graham, T.C.N., Jenkins, M.A., "The T'Nial Report", Tech Rept. 91-320,
November 1991.

Jenkins, M.A., Mullin, L.R.,  "A Comparison of Array Theory and a Mathematics
of Arrays", in "Arrays, Functional Languages and parallelism", Proceedings
of the Montreal Workshop, June 1990, Kluwer Academic Publishers 1991.

Glasgow, J.I., Jenkins, M.A., Feret, M., Lawson, D., An Architecture
for Failure Diagnosis, 40th Canadian Chemical Engineering Conference,
Halifax, June 1990  (invited abstract)

Glasgow, J.I., Jenkins, M.A., Array Theory, Logic and the Nial Language,
Proceedings of the International Conference on Computer Languages, Miami,
Florida, October 1988.

Blevis, E.B. and Jenkins, M.A. (1988), Computing Similarity in Music.
Presentation at the First International Workshop on AI and Music.  St.
Augustin.  West Germany:  Gesellschaft fur Mathematik und
Datenverarbeitung.  Koln. Sept. 1988

Beaudet, P.J., Jenkins, M.A., Simulating the Object-Oriented Paradigm in Nial,
SIGPLAN Notices, 6, 23, 49-58 June 1988.

Beaudet, P.J., Jenkins, M.A., Adding the Object-Oriented Paradigm to
Nial, Tech. Rept. 88-223, Queen's University, July 1988.

Jenkins, M.A., "Prototyping Intelligent Database Systems in Nial,"
Proceedings of the
4th Artificial Intelligence & Advanced Computer Technology Conference, Long
Beach, May 1988.

McCrosky, C.D., Glasgow, J.I. and Jenkins, M.A.
"NIAL: A Candidate Language for Fifth Generation Systems",
selected reprint in "Expert Systems - Microcomputer Based Systems,"
A. Gupta and B.E. Pasad (eds.), IEEE Press 1988.

Glasgow, J.I., Jenkins, M.A. and McCrosky, C.D., User Defined Parallel
Control Strategies in Nial, selected reprint in Microcomputer Based Expert
System Volume II, A. Gupta and B.E. Pasad (eds) IEEE Presss 1988.

Recent Ph.D. Theses

Colin Banger		Construction of Multidimensional Arrays as 
			Categorical Data Types				1995
Eli Blevis		An Approach to Interactive Creative Reasoning	1990

Recent M.Sc. Theses and Projects

James Chartrand		Optimizing the Evaluation of Nial Expressions	1997
Priti Nigam		Models for Implementing Persistence in Nial	1997
Hon Wan			Automatic Intermediate Container Removal 
			in Nial 					1997
Donald Quon		Parallel Scientific and Engineering Applications
			in Nial						1996
Daniel Wevrick		Translating Nial to Sisal			1996
E. L. Dube		An Implementation of Bird-Meertens Theory 
			of Lists					1995
Hebert Pereyra		Buffer Management for Frame-Based Knowledge 
			Bases 						1994
Ai-Mei Wei		Mapping Frames into Objects			1993
Paul Buck 		Automatic Testing for Language Processors 	1990
Brent Buckner		A Theory of Arrays with Operations		1990
Machmudin Junus		A Model for Second-generation 
                  	Expert Systems in Nial				1989
Chandrasekaran Nair	A Model for implementing algorithms in Nial	1989