Jean-Louis Lassez Page 1 of 10 CURRICULUM VITAE

Size: px

Start display at page:

Download "Jean-Louis Lassez Page 1 of 10 CURRICULUM VITAE"

Preston Hicks
6 years ago
Views:

1 Jean-Louis Lassez Page 1 of 10 CURRICULUM VITAE JEAN-LOUIS LASSEZ classez@gilanet.com ADDRESS: P.O. Box 407, Magdalena, New Mexico PHONE: (home), (work) PERSONAL: Date of birth: December 24 th, 1944 Place of birth: Bordeaux, France Nationality: US citizen Marital status: Married, Catherine Marcoussis, 12/2/68 Children: One daughter, Sarah Suzanne, b. Canada 4/1/71 EDUCATION: Ph.D., Computer Science, 1973, Purdue University. D.E.A., Computer Science 1969, Universit Paris, France. M.Sc., Mathematics, 1968, Universit de Paris, France. PRESENT POSITION: Professor of Computer Science, New Mexico Institute of Technology Visiting Professor, Department of Computer Science, Brown University, summers 96 and 97 PREVIOUS POSITIONS: In sequence: Researcher, Manager, Senior Manager, New Language Paradigms, Software Technology Department, I.B.M., T.J.Watson Research Center, Also Adjunct Professor, New York University, In sequence: Lecturer, Senior Lecturer, Reader, Department of Computer Science, University of Melbourne, Victoria, Australia Professeur Adjoint, D artement de Mat matique et Informatique, Universit de Moncton, Canada Research Fellow and Assistant Professor, Department of Computer Science, Purdue University, West Lafayette, Indiana,

2 Jean-Louis Lassez Page 2 of 10 Lecturer, D artement de Mat matiques, Universit Sherbrooke, Canada Lecturer, Ac mie Commerciale Internationale, Paris, PROFESSIONAL ACTIVITIES: Editor in Chief: Journal of Logic Programming, Elsevier ( ) Area Editor: Journal of the Association for Computing Machinery ( ) Associate Editor: Series in Logic Programming, Addison-Wesley Logic Programming, MIT Press. Editorial Board: (past and present): Journal of Symbolic Computation, Academic Press Journal of Future Generation Computer Systems, North Holland New Generation Computing, Ohmsha-Springer Annals of Mathematics and Artificial Intelligence, Baltzer Journal of Automated Reasoning, Kluwer Constraints, Kluwer Advisory Editor: Principles and Practice of Constraint Programming, 95 MIT Press. CONFERENCE ORGANIZATION: Chair: Organizing Committee, Principles and Practice of Constraint Programming, Cassis 1996 Principles and applications of Constraints Languages, Newport 1993 (jointly with P.Kanellakis and V. Saraswat) AI and Math Conference, Fort Lauderdale 1992 Workshop on Theorem Proving with Constraints, Saarbrucken, 1991 International Conference on Computer Science, Hong Kong, 1988, (jointly with F. Chin). Workshop on Constraints and Languages, Boston, 1988 (jointly with J. Cohen) Workshop on Constraint Logic Programming Languages, Rehovot, 1988 Fourth International Conference on Logic Programming, Melbourne, 1988 Logic and Computation Conference Melbourne 1984 (jointly with J. Crossley) Fifth Generation Languages Workshop, Melbourne, 1984

3 Jean-Louis Lassez Page 3 of 10 Program committee member: AI and Math Conference, Fort Lauderdale, 1996 Joint International Symposium on Constraint Logic Programming, Bonn, 1996 Theoretical Aspects of Computer Software, Sendai, 1994 AI and Math Conference, Fort Lauderdale, FL, 1994 Deductive and Object-Oriented Databases, Phoenix, AZ, 1993 Logic Programming and Automated Reasoning, Saint Petersburg 1993 Conference on Automated Deduction, Saratoga Springs, 1992 Artificial Intelligence and Symbolic Computation, Kaiserslautern, 1992 Logic in Computer Science, Santa Cruz, CA 1992 LFCS 92, Logic at Tver, Russia, 1992 ACM Principles of Database Systems, 1991 International Workshop on Processing Declarative Knowledge, Karlsruhe, 1991 Theoretical Aspects of Computer Software, Sendai, 1991 Workshop on Non-Standard Queries, Toulouse, 1991 Conference on Automated Deduction, Kaiserslautern, 1990 AI and Math Conference, Fort Lauderdale, th International Conference in Logic Programming, Seattle, WA, th International Conference in Logic Programming, Lisbon, Portugal, 1989 Theory and Practice of Software, Barcelona, 1989 Conference on Automated Deduction, 1989 Logic in Computer Science, Philadelphia, th International Conference in Logic Programming, Cleveland, OH, 1988 Fifth Generation Computer Systems, Tokyo, th International Conference in Logic Programming, Melbourne, Australia, th International Symposium in Logic Programming, Boston, MA, rd International Conference in Logic Programming, London, UK, 1986 ADDITIONAL ACTIVITIES: Invited participant, Strategic Directions in Computer Science, MIT, July 1996 on the 50 th anniversary of the foundation of the Association for Computing Machinery. Member of a panel of 15 international experts asked to evaluate the mission of France s National Research Institute for Computer Science, INRIA, Sept 1994 Review Panel member, Evaluation of Research Directions, U.S. Office of Naval Research, Washington, D.C., February 1992 Chairman, Session on Functional Programming, Logic Programming and Object-Oriented Programming, in Critical Research directions in Programming Languages, U.S. Office of Naval Research, Miami 1988

4 Jean-Louis Lassez Page 4 of 10 Member, Advisory Board, Foundations of Software Technology and Theoretical Computer Science. Chair, Organizing Committee for Principles and Practice of Constraints Programming. Nominator, Kyoto Prize, 1988, 1996 Advisor to the Australian Minister for Science and Technology, One-month mission in Tokyo to evaluate the potential for a joint Australian-Japanese venture in the software industry. MAIN INVITED PRESENTATIONS: International Meetings: Workshop on Constraints, Principles of Database Systems, Seattle, 1998 AI and Math, Fort Lauderdale,FL, 1996 Portuguese Artificial Intelligence Conference, 1996 Second Asian Computer Science Conference, Bangkok, 1995 Logic at Tver, 1992 Theoretical Aspects of Computer Software, Sendai, 1991 Conference of the American Association for Artificial Intelligence, Anaheim, 1991 Third International Workshop on Database Programming languages, Napflion, 1991 AAAI Symposium on Principles of Hybrid Systems, Asilomar, 1991 Mathematical Foundations of Computer Science, Poland, 1991 Foundations of Software Technology and Theoretical Computer Science, Bangalore, 1990 Algebraic and Logic Programming Conference, Nancy, 1990 ACM Principles of Database Systems, Nashville, 1990 TAPSOFT, Barcelona, 1989 US-Japan Logic Programming Conference, Argonne, 1989 Colloque sur la Programmation Logique, Tr gastel 1988 Conference of the Italian Association for Logic Programming, Rome, 1988 U.S.-Japan Logic Conference, Hawaii, 1987 Logic Programming Conference, Tokyo, 1987 Third International Conference on Logic Programming, London,UK, 1986 Intensive short courses at international meetings: School on Alternatives of Logic Programming, Kuopio, 1989, sponsored by the Finnish Academy of Sciences, year Nevanlinna.

5 Jean-Louis Lassez Page 5 of 10 International Summer School on New Directions in Program Construction Methods, European Association for Theoretical Computer Science, Orivesi, Finland 1988 Advanced School on the Foundations of Logic Programming, Alghero, Sicily 1988 Tutorial on Logic programming, Principles of Programming Languages, Munich 1987 Foundations of Logic and Functional Programming, Trento, 1986 Due to time constraints, a number of invitations as banquet speaker had to be declined, however the following was accepted: Sixth International Conference on Logic Programming, Lisbon, 1989 PUBLICATIONS: The research reflected in the following list of publications has been supported by the National Science Foundation (USA), the U.S. Office of Naval Research, the National Research Council (Canada), the Canadian Mathematical Congress, the National R esearch Council (Italy), the Australian Computer Research Grants Scheme, the Australian Ministry for Science and Technology, various Universities and the IBM Corporation. Edited volumes: 1. Joskowicz, L., Lassez, J-L., and Hoffman, F., Editors, Artificial Intelligence III: Annals of Mathematics and Artificial Intelligence, Baltzer Publishers, Basel, Kirchner, H., Lassez, J-L., Editors, Theorem Proving and Logic Programming: Annals of Mathematics and Artificial Intelligence, Baltzer Publishers, Basel, Lassez, J-L., Plotkin, G., Editors, Computational Logic: Essays in Honor of Alan Robinson, MIT Press, Chen, T. Y., Foo, N., and Lassez, J-L., Special Issue on the Hong Kong International Computer Conference: Annals of Mathematics and Artificial Intelligence, Baltzer Publishers, Basel, Furukawa, K., Mizoguchi, F., and Lassez, J-L., Constraint Logic Programming [in Japanese], OHMSHA Publishers, Tokyo, 1989.

6 Jean-Louis Lassez Page 6 of Lassez, J-L., Editor, Logic Programming: Proceedings of the Fourth International Conference on Logic Programming, MIT Press, Research papers: 1. Brodsky, A., Lassez, C., Lassez, J-L., Maher, M., Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data, to appear in Journal of Automated Reasoning, Kluwer, van Hentenryck, P., et. al., Strategic Directions in Constraint Programming, Computing Reviews, vol. 28, no. 4, December Lassez, J-L., Prabhu, N., A Condition of the Number of Pivots Necessary to Solve a Linear Program, OPSEARCH, Brodsky, A., Lassez, C., Lassez, J-L., Maher, M., Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data [preliminary version], Proceedings of the ACM PODS Conference, Lassez C., Lassez J-L., Quantifier Elimination for Conjunctions of Linear Constraints via a Convex Hull Algorithm, Symbolic and Numerical Computation for Artificial Intelligence, Donald, Kapur, and Mundy Ed., Academic Press, Lassez, J-L., McAloon, K., A Canonical Form for Generalized Linear Constraints, Journal of Symbolic Computation, January Huynh, T., Lassez, C., Lassez, J-L., Practical Issues in the Projection of Polyhedral Sets, Annals of Mathematics and Artificial Intelligence, vol. 6, no. 4, M. C. Golumbic and F. Hoffman Ed., pp , J. C. Baltzer AG, Lassez, J-L., Maher, M., On Fourier's Algorithm for Linear Constraints, vol. 9, Journal of Automated Reasoning, Huynh, T., Joskowicz, L., Lassez, C., Lassez, J-L., Practical Tools to Reason about Linear Constraints, Fundamenta Informaticae, vol. 15, no. 3-4, December Lassez, J-L., Maher, M., Marriott, K., Elimination of Negation in Term Algebras, Proceedings of the Conference on Mathematical Foundations of Computer Science, Kazimierz Dolny, Lecture Notes in Computer Science, Springer-Verlag, Lassez, J-L., From LP to LP: Programming with Constraints, Proceedings of Theoretical Aspects of Computer Software, Sendai,

7 Jean-Louis Lassez Page 7 of Springer Verlag, Also in Database Programming Languages, P. Kanellakis and J.W. Schmidt Ed., Morgan-Kaufmann, Huynh, T., Joskowicz, L., Lassez, C., Lassez, J-L., Reasoning About Linear Constraints Using Parametric Queries, Proceedings of the Conference on Foundations of Software Technology and Theoretical Computer Sciences, Bangalore, Springer-Verlag, Huynh, T., Lassez, C., Lassez, J-L., Fourier Algorithm Revisited, Proceedings of the Second International Conference on Algebraic and Logic Programming, Nancy, Springer-Verlag, Lassez, J-L., Querying Constraints, Proceedings of the ACM Conference on Principles of Database Systems, Nashville, Lassez, J-L., McAloon, K., A Constraint Sequent Calculus, Proceedings of the IEEE Conference on Logic in Computer Science, Philadelphia, Lassez, J-L., Parametric Queries, Linear Constraints, and Variable Elimination, Proceedings of the Conference on Design and Implementation of Symbolic Computation Systems, Capri, Marriott, K., Naish, L., Lassez, J-L., Most-Specific Logic Programs, Proceedings of the Fifth International Logic Programming Conference, MIT Press, Full paper in Horn Logic, Search and Satisfiability: Annals of Mathematics and Artificial Intelligence, Baltzer Publisher, Lassez, J-L., Huynh, T., McAloon, K., Simplification and Elimination of Redundant Linear Arithmetic Constraints, Proceedings of the North American Conference on Logic Programming, MIT Press, Lassez, J-L., McAloon, K., Independence of Negative Constraints, Proceedings of the Advanced Seminar on Foundations of Innovative Software Development, Barcelona, Springer-Verlag, Lassez, J-L., McAloon, K., Applications of a Canonical Form for Generalized Linear Constraints, Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Lassez, J-L., Maher, M., Marriott, K., Unification Revisited, Foundations of Deductive Databases and Logic Programming, J. Minker Ed., Morgan-Kauffman, pp , 1988.

8 Jean-Louis Lassez Page 8 of Lassez, J-L., Marriott, K., Explicit Representations of Terms Defined by Counter Examples, Foundations of Software Technology and Theoretical Computer Science, New Delhi, in Lecture Notes in Computer Science, Springer-Verlag, Full paper in Journal of Automated Reasoning, vol. 3, pp , September Jaffar, J., Lassez, J-L., Maher, M., Prolog II as an Instance of the Logic Programming Language Scheme, in Formal Description of Programming Concepts III, M. Wirsing Ed., North-Holland, August Jaffar, J., Lassez, J-L., From Unification to Constraints, Logic Programming Conference, Tokyo, in Lecture Notes in Computer Science, Springer-Verlag, June Jaffar, J., Lassez, J-L., Constraint Logic Programming, Proceedings of Principles of Programming Languages, Munich, pp , Jaffar, J., Lassez, J-L., Maher, M., Comments on General Failure of Logic Programs, Journal of Logic Programming, Vol. 3, Number 2, pp , North-Holland, Chen, T. Y., Lassez, J-L., Port, G. S., Maximal Unifiable Subsets and Minimal Non-Unifiable Subsets, New Generation Computing, 4(2), pp , Jaffar, J., Lassez, J-L., Maher, M., Some Issues and Trends in the Semantics of Logic Programming, Third International Conference of Logic Programming, London, in Lecture Notes in Computer Science 225, Springer-Verlag, Jaffar, J., Lassez, J-L., Maher, M., A Logic Programming Language Scheme, in Logic Programming: Relations, Functions and Equations, D. DeGroot and G. Lindstrom Ed., Prentice-Hall, Lassez, J-L., Maher, M., Optimal Fixed Points of Logic Programs, Third International Conference on Foundations of Software Technology and Theoretical Computer Science, Bangalore, pp , Also in Theoretical Computer Science (39), pp , North-Holland, Lassez, J-L., Maher, M. J., Closures and Fairness in the Semantics of Programming Logic, Theoretical Computer Science, 29: , North-Holland, Wolfram, D., Maher, M. J., Lassez, J-L., A Unified Treatment of Resolution Strategies for Logic Programs, Proceedings of Second

9 Jean-Louis Lassez Page 9 of International Logic Programming Conference, pp , Uppsala, July Jaffar, J., Lassez, J-L., Maher, M. J., A Theory of Complete Logic Programs with Equality, International Conference on Fifth Generation Computer Systems, pp , Tokyo, Also in Journal of Logic Programming, vol. 3, pp , North-Holland, Jaffar, J., Lassez, J-L., Lloyd, J., Completeness of the Negation as Failure Rule, Proceedings of the International Joint Conference on Artificial Intelligence, pp , Karlsruhe, [This paper came second in the competition for best submission. (Awarded Honorable Mention).] 37. Lassez, J-L., Maher, M. J., Denotational Semantics of Horn Clauses as a Production System, Proceedings of the National Conference on Artificial Intelligence, Washington, American Association for Artificial Intelligence, pp , [This paper was nominated for Publisher's Prize.] 38. Jaffar, J., Lassez, J-L., Reasoning about Array Segments, Proceedings of the European Conference on Artificial Intelligence, Paris, pp , Lassez, J-L., Nguyen, V. L., Sonenberg, E. A., Fixed Point Theorems and Semantics: A Folk Tale, Information Processing Letters, vol.14, no.3, pp , North-Holland, Nguyen, V. L., Lassez, J-L., A Dual Problem to Least Fixed Points, Theoretical Computer Science, vol. 16, pp , North-Holland, Lassez, J-L., van der Knijff, D., Shepard, J., Lassez, C., A Critical Examination of Software Science, Journal of Systems and Software, vol. 2, pp , Elsevier, Haebich,, W., Lassez, J-L., Minimization of Multiple Entry Finite Automata, Combinatorial Mathematics VIII: Springer-Verlag Lecture Notes in Mathematics, no. 884, pp , Lassez, J-L., Nguyen, V.L., Implicit Recursive Definitions, Proceedings 4th Australian Computer Conference, Brisbane, pp , Lassez, J-L., Shepard, J., Opposing Views on the Use of Software Science Measures for the Automatic Assessment of Student Programs, Proceedings of the Third Australian Computer Science Conference, Canberra, pp , 1980.

10 Jean-Louis Lassez Page 10 of Lassez, J-L., van der Knijff, D., Evaluation of Length and Level for Simple Program Schemes, Proceedings of the Third International Conference on Computer Software and its Applications, Chicago, pp , van der Knijff, D., Lassez, J-L., A Clarification on the Comparisons Between Some Measures of Software Science, Information Processing Letters, vol. 8, no. 5, pp , North-Holland, Lassez, J-L., Shyr, H. J., Factorizations in the Monoid of Languages, Combinatorial Mathematics: Springer-Verlag Lecture Notes, no. 686, D. A. Holton and J. S. Seberry Ed., pp , Lassez, J-L., Shyr, H. J., Prefix Properties and Equations on the Monoid Languages, Tamkang Journal of Mathematics, vol. 9, no. 21, pp. 5-14, Lassez, J-L., Circular Codes and Synchronization, International Journal of Computer and Information Sciences, vol. 5, no. 2, pp , Plenum Pub., Lassez, J-L., Prefix Codes, Trees and Automata, Information Sciences, vol. 8, pp , American Elsevier, Lassez, J-L., A Correspondence on Strongly Prefix Codes, IEEE Transactions on Information Theory, pp , Lassez, J-L., Chaines et Codes Conjuges, Utilitas Mathematica, pp , Lassez, J-L., Prefix Codes and Isomorphic Automata, International Journal of Computer Mathematics, vol. 3, pp , Gordon and Breach, Lassez, J-L., On the Structure of Systematic Prefix Codes, International Journal of Computer Mathematics, vol. 3, pp , Gordon and Breach, 1972.

Curriculum Vitae Person Education Professional career

Curriculum Vitae Person Education Professional career Curriculum Vitae 1 Person Name Dr. Horst O. Bunke, Prof. Em. Date of birth July 30, 1949 Place of birth Langenzenn, Germany Citizenship Swiss and German 2 Education 1974 Dipl.-Inf. Degree from the University