Curriculum Vitae


Jean-Louis Lassez



Personal:
Date of birth: December 24th, 1944
Place of birth: Bordeaux, France
Nationality: US citizen
Marital status: Married, Catherine Marcoussis, 12/2/68
Children: One daughter, Sarah Suzanne
Erdos number: 3

Education:
Ph.D., Computer Science, 1973, Purdue University.
D.E.A., Computer Science 1969, Université de Paris, France.
M.Sc., Mathematics, 1968, Université de Paris, France.

Previous Positions:
Senior research scientist, Integrated Genomics
1999-2002

Chair, Department of Computer Science, New Mexico Institute of Technology,
Visiting Professor, Brown University (Summers) 1996-1999

In sequence:
Researcher,
Manager,
Senior Manager, New Language Paradigms,
Software Technology Department, I.B.M., T.J.Watson Research Center, 1985-1996

Also Adjunct Professor, New York University, 1991-1996

In sequence:
Lecturer,
Senior Lecturer,
Reader, Department of Computer Science, University of Melbourne, Victoria, Australia 1976-1985

Professeur Adjoint, Département de Mathématique et Informatique, Université de Moncton, Canada 1974-1976

Research Fellow and Assistant Professor, Department of Computer Science, Purdue University, West Lafayette, Indiana, 1972-1974

Lecturer, Département de Mathématiques, Université de Sherbrooke, Canada 1970-1972

Lecturer, Académie Commerciale Internationale, Paris, 1968-1970

Professional Activities:

Editor in Chief
Journal of Logic Programming, Elsevier (1985-1990)

Area Editor:
Journal of the Associtation for Computing Machinery (1991-1996)

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.

Confernce 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

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, 1990
7th International Conference in Logic Programming, Seattle, WA, 1990
6th 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, 1988
5th International Conference in Logic Programming, Cleveland, OH, 1988
Fifth Generation Computer Systems, Tokyo, 1988
4th International Conference in Logic Programming, Melbourne, Australia, 1987
4th International Symposium in Logic Programming, Boston, MA, 1987
3rd International Conference in Logic Programming, London, UK, 1986

Additional Activities:
Invited participant, Strategic Directions in Computer Science, MIT, July
1996 on the 50th 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

Member, Advisory Board, Foundations of Software Technology and
Theoretical Computer Science, India.

Chair, Organizing Committee for Principles and Practice of Constraints
Programming

Nominator, Kyoto Prize, 1988, 1996

Advisor to the Australian Minister for Science and Technology, 1984-1985.
One-month mission in Tokyo to evaluate the potential for a joint
Australian-Japanese venture in the software industry.

Main Invited Presentations:

International Meetings:
Eigth International Conference on Principles and Practise of Constraint
Programming, Cornell University 2002
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:
Tutorial on Bioinformatics, International Conference on AI and Maths, Fort Lauderdale 2002
Seminars on Constraints, Tata Institute, Mumbai 1991
School on Alternatives of Logic Programming, Kuopio, 1989, sponsored by the Finnish Academy of Sciences, year Nevanlinna.
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, with one exception:

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 Research 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, 1994.

  2. Kirchner, H., Lassez, J-L., Editors, Theorem Proving and Logic Programming: Annals of Mathematics and Artificial Intelligence, Baltzer Publishers, Basel, 1993.

  3. Lassez, J-L., Plotkin, G., Editors, Computational Logic: Essays in Honor of Alan Robinson, MIT Press, 1991.

  4. 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, 1991.

  5. Furukawa, K., Mizoguchi, F., and Lassez, J-L., Constraint Logic Programming [in Japanese], OHMSHA Publishers, Tokyo, 1989.

  6. Lassez, J-L., Editor, Logic Programming: Proceedings of the Fourth International Conference on Logic Programming, MIT Press, 1987.

Research Papers:
  1. Bhattacharyya et al, "Whole-genome comparative analysis of three phytopathogenic Xylella Fastisiosa strains" Proceedings of the National academy of Sciences, August 2002, 99
    12403-12408.

  2. Bernal A., Karadeniz T., Lassez J-L, Asymptotic Behavior of Machine Learning Algorithms, invited presentation CP 2002 Cornell University.

  3. Bernal A., Hovsepian K., Yang J., Lassez J-L.,"Automated Discovery of Translation Initiation Sites and Promoter Sequences in Bacterial Genomes" First Virtual Conference on Genomics and Bioinformatics, Oct 2001

  4. Brodsky, A., Lassez, C., Lassez, J-L., Maher, M., "Separability of Polyhedra for Optimal Filtering of Spatial and Constraint Data," Journal of Automated Reasoning, Kluwer, july 1999.

  5. van Hentenryck, P., et. al., "Strategic Directions in Constraint Programming," Computing Reviews, vol. 28, no. 4, December 1996.

  6. Lassez, J-L., Prabhu, N., "A Condition of the Number of Pivots Necessary to Solve a Linear Program," OPSEARCH, 1996.

  7. 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, 1995.

  8. 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, 1993.

  9. Lassez, J-L., McAloon, K., "A Canonical Form for Generalized Linear Constraints," Journal of Symbolic Computation, January 1992.

  10. 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. 295-316, J. C. Baltzer AG, 1992.

  11. Lassez, J-L., Maher, M., "On Fourier's Algorithm for Linear Constraints," vol. 9, Journal of Automated Reasoning, 1992.

  12. Huynh, T., Joskowicz, L., Lassez, C., Lassez, J-L., "Practical Tools to Reason about Linear Constraints," Fundamenta Informaticae, vol. 15, no. 3-4, December 1991.

  13. 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, 1991.

  14. Lassez, J-L., "From LP to LP: Programming with Constraints," Proceedings of Theoretical Aspects of Computer Software, Sendai, Springer Verlag, 1991. Also in Database Programming Languages, P. Kanellakis and J.W. Schmidt Ed., Morgan-Kaufmann, 1991.

  15. 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, 1990.

  16. Huynh, T., Lassez, C., Lassez, J-L., "Fourier Algorithm Revisited," Proceedings of the Second International Conference on Algebraic and Logic Programming, Nancy, Springer-Verlag, 1990.

  17. Lassez, J-L., "Querying Constraints," Proceedings of the ACM Conference on Principles of Database Systems, Nashville, 1990.

  18. Lassez, J-L., McAloon, K., "A Constraint Sequent Calculus," Proceedings of the IEEE Conference on Logic in Computer Science, Philadelphia, 1990.

  19. Lassez, J-L., "Parametric Queries, Linear Constraints, and Variable Elimination," Proceedings of the Conference on Design and Implementation of Symbolic Computation Systems, Capri, 1990.

  20. Marriott, K., Naish, L., Lassez, J-L., "Most-Specific Logic Programs," Proceedings of the Fifth International Logic Programming Conference, MIT Press, 1988. Full paper in Horn Logic, Search and Satisfiability: Annals of Mathematics and Artificial Intelligence, Baltzer Publisher, 1990.

  21. 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, 1989.

  22. Lassez, J-L., McAloon, K., "Independence of Negative Constraints," Proceedings of the Advanced Seminar on Foundations of Innovative Software Development, Barcelona, Springer-Verlag, 1989.

  23. 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, 1988.

  24. Lassez, J-L., Maher, M., Marriott, K., "Unification Revisited," Foundations of Deductive Databases and Logic Programming, J. Minker Ed., Morgan-Kauffman, pp. 587-625, 1988.

  25. 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, 1986. Full paper in Journal of Automated Reasoning, vol. 3, pp.301-317, September 1987.

  26. 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 1987.

  27. Jaffar, J., Lassez, J-L., "From Unification to Constraints," Logic Programming Conference, Tokyo, in Lecture Notes in Computer Science, Springer-Verlag, June 1987.

  28. Jaffar, J., Lassez, J-L., "Constraint Logic Programming," Proceedings of Principles of Programming Languages, Munich, pp.111-119, 1987.

  29. Jaffar, J., Lassez, J-L., Maher, M., "Comments on General Failure of Logic Programs," Journal of Logic Programming, Vol. 3, Number 2, pp.115-118, North-Holland, 1986.

  30. Chen, T. Y., Lassez, J-L., Port, G. S., "Maximal Unifiable Subsets and Minimal Non-Unifiable Subsets," New Generation Computing, 4(2), pp.131-152, 1986.

  31. 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, 1986.

  32. 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, 1986.

  33. 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.343-362, 1983. Also in Theoretical Computer Science (39), pp. 15-25, North-Holland, 1985.

  34. Lassez, J-L., Maher, M. J., "Closures and Fairness in the Semantics of Programming Logic," Theoretical Computer Science, 29:167-184, North-Holland, 1984.

  35. Wolfram, D., Maher, M. J., Lassez, J-L., "A Unified Treatment of Resolution Strategies for Logic Programs," Proceedings of Second International Logic Programming Conference, pp.263-276, Uppsala, July 1984.

  36. Jaffar, J., Lassez, J-L., Maher, M. J., "A Theory of Complete Logic Programs with Equality," International Conference on Fifth Generation Computer Systems, pp. 175-184, Tokyo, 1984. Also in Journal of Logic Programming, vol. 3, pp. 211-223, North-Holland, 1984.

  37. Jaffar, J., Lassez, J-L., Lloyd, J., "Completeness of the Negation as Failure Rule," Proceedings of the International Joint Conference on Artificial Intelligence, pp.500-506, Karlsruhe, 1983. [This paper came second in the competition for best submission. (Awarded Honorable Mention).]

  38. 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. 229-231, 1983. [This paper was nominated for Publisher's Prize.]

  39. Jaffar, J., Lassez, J-L., "Reasoning about Array Segments," Proceedings of the European Conference on Artificial Intelligence, Paris, pp. 62-66, 1982.

  40. 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. 112-116, North-Holland, 1982.

  41. Nguyen, V. L., Lassez, J-L., "A Dual Problem to Least Fixed Points," Theoretical Computer Science, vol. 16, pp. 211-221, North-Holland, 1981.

  42. 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.105-112, Elsevier, 1981.

  43. Haebich,, W., Lassez, J-L., "Minimization of Multiple Entry Finite Automata," Combinatorial Mathematics VIII: Springer-Verlag Lecture Notes in Mathematics, no. 884, pp.203-210, 1981.

  44. Lassez, J-L., Nguyen, V.L., "Implicit Recursive Definitions," Proceedings 4th Australian Computer Conference, Brisbane, pp.126-131, 1981.

  45. 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. 205-215, 1980.

  46. 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. 695-701, 1979.

  47. 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. 241-243, North-Holland, 1979.

  48. 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. 199-205, 1978.

  49. 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, 1978.

  50. Lassez, J-L., "Circular Codes and Synchronization," International Journal of Computer and Information Sciences, vol. 5, no. 2, pp. 201-208, Plenum Pub., 1976.

  51. Lassez, J-L., "Prefix Codes, Trees and Automata," Information Sciences, vol. 8, pp. 155-171, American Elsevier, 1975.

  52. Lassez, J-L., "A Correspondence on Strongly Prefix Codes," IEEE Transactions on Information Theory, pp. 344-345, 1975.

  53. Lassez, J-L., "Chaines et Codes Conjuges," Utilitas Mathematica, pp. 311-324, 1975.

  54. Lassez, J-L., "Prefix Codes and Isomorphic Automata," International Journal of Computer Mathematics, vol. 3, pp. 304-314, Gordon and Breach, 1973.

  55. Lassez, J-L., "On the Structure of Systematic Prefix Codes," International Journal of Computer Mathematics, vol. 3, pp. 177-188, Gordon and Breach, 1972.