[Employment]
[] Director, Center of Excellence for Research in Computer
Systems, National Taiwan University/National Science Council,
(8/96 -- )
[] Deputy Director, Center of Excellence for Research in Computer
Systems, National Taiwan University/National Science Council,
(8/94 -- 7/96)
[] Professor, Computer Science, National Taiwan University
(8/93 -- )
[] Professor, Computer Science, SUNY at Stony Brook
(9/92 -- )
[] Associate Professor, Computer Science, SUNY at Stony Brook
(9/86 to 8/92)
[] Assistant Professor, Computer Science, SUNY at Stony Brook
(9/82 to 8/86)
[] Visiting Research Scientist, INRIA--Lorraine, Summer, 1992.
[] Visiting Professor, Universite d'Orleans, April, 1991.
[] Visiting Professor, Universite Paris-Sud, Orsay, France, June 1987, September 1988 -- January 1989
[] Visiting Professor, Universite de Nancy I, Nancy, France, summer 1988
[] Contract Professor, University of Milan, Italy, 1987 and 1989
[] Visiting Research Scientist, ICOT, Japan, December 1985
[] CNRS Research Scientist (Maitre de recherche associe), Spring, 1985
[Academic Merits and Activities]
The paper
J. Hsiang,
``Refutational Theorem Proving using Term Rewriting Systems'',
Artificial Intelligence Journal,
Vol 25, pp255--300, 1985.
was seleted in 1993 by the journal of Artificial Intelligence
as one of the 50 most cited papers published by that journal.
The same paper was translated into Russian and included as the first
paper of the 1988 Cybernetic Annual, published by the
Soviet Academy of Science.
Averaging over 70 citations a year since 1987.
Program chairman of the Sixth International Conference on Rewrite Techniques
and Applications, Kaiserslautern, Germany, April 5--7,1995.
Member of the Editorial Board of the
Journal of Symbolic Computation, Academic Press.
starting from 1989.
Member of the Editorial Board of the
Journal of Information Science and Engineering, Academia
Sinica, starting from 1994.
Member of the Editorial Board of the
Proceedings of the NSC, Part A, (area editor of computer
science), starting from 1995.
Guest editor of a special issue on
Rewrite Techniques in Theorem proving
for the Journal of Symbolic Computation, 1991.
Guest editor of a special issue on
Rewrite Techniques and Applications
for the journal Theoretical Computer Science, 1995.
Program committee member of
the International Conference on Computational
Intelligence, Milan, Italy, 1988
the International Conference on Computational
Intelligence, Milan, Italy, 1989
the Third International Conference on
Rewrite Techniques and Applications
Chapel Hill, North Carolina, 1989
the International Symposium on Design and Implementation
of Symbolic Computation Systems, Capri, Italy, 1990
the Fifth International Conference on
Rewrite Techniques and Applications
Montreal, Canada, 1993.
the First International Symposium on
Parallel Symbolic Computation,
Linz, Austria, 1994.
the 1994 International Conference on Parallel and
Distributed Systems, Hsinchu, Taiwan, 1994.
the '96 International Conference on Artificial
Intelligence, Kaohsiung, Taiwan, December, 1996.
the Third Annual Asian Computing Conference,
Singapore, December, 1996.
the Fourteenth International Conference on
Automated Deduction, Townsville, Australia, July 1997.
the PASCO97: Second International Symposium on Parallel
Symbolic Computation, Hawaii, July, 1997.
the Fourth Annual Asian Computing Conference,
Napel, December, 1997.
the Seventh Pacific Rim International Conference on
Artificial Intelligence, 1998.
Member of the Organizing Committee of the International
Conference on Rewrite Techniques and Applications, 1995--1998.
Rapporteur of the Habilitation of
Jean-Luc Remy (1990) and Miki Hermann (1994).
Rapporteur of at least 12 These de Doctorat d'Etat
and These de Doctorat de l'Universite of France.
[Opening keynote addresses at Conferences]
``Deduction Strategies as Inferences plus Control'',
the REVEAL Workshop, Nancy, France, October 1986.
``Completeness Proofs of Theorem Proving Methods'',
the 1st International Workshop on Conditional Term Rewriting Systems,
Orsay, France, July 1987.
``Mechanized Deduction: the Past, Present, and Future'',
the CRIN Symposium, Nancy, France, October 1988.
``Completion Procedures as Semi-decision Procedures'',
the 2nd International Workshop on Conditional Term Rewriting Systems,
Montreal, Canada, May 1990.
``On Parallelizing Deduction Strategies'',
the 1st International Workshop on Constructible Computational Logics,
Val d'Ajol, France, October 1992.
``State of the Art of Artificial Intelligence'',
the Trend/Intel Symposium, Beijing, November 1993.
[Invited Talks at Conferences]
Workshop of the Rewrite Rule Laboratory, Schenectady, NY,
September 1983.
Workshop in Combinatorial Algorithms in Algebraic Structures,
Otzenhausen, August 1985.
Workshop on Resolution of Equations in Algebraic Structures,
Austin, May 1987.
2nd International Workshop on Unification, Val d'Ajol, France,
June 1988.
Symposium on Theoretical Computer Science, Toyohashi, Japan,
August 1990.
U.S./Japan Conference on Automated Deduction, Argonne, June 1991.
Army Conference on High Performance Computing, Minneapolis, June 1991.
5th International Workshop on Unification, Barbizon, France,
July 1991.
Dagstuhl Workshop on Deduction, Dagstuhl, Germany, March 1995.
Trend/Intel Symposium, Hawaii, January 1996.
Ninth Japanese Workshop on Term Rewriting, Tokyo, February, 1996.
DIMACS Workshop on Satisfiability, New Brunswick, March 1996.
Helena Rasiowa Memorial Symposium on Logic, Algebra, and Computer
Science, Warsaw, Poland, December, 1996.
[Tutorials]
Tutorial on automated theorem proving (6 hours) at the
European Conference on Artificial Intelligence,
Munich, Germany, July 1988.
Tutorial on term rewriting theory (3 hours) at the
10th International Conference on Automated Deduction,
Kaiserslautern, Germany, June 1990.
Tutorial on distributed automated deduction (4 hours) at the
12th International Conference on Automated Deduction,
Nancy, France, June 1994.
Tutorial on Boolean ring based deduction methods (3 hours) at the
14th International Conference on Automated Deduction,
Townsville, Australia, July, 1997.
[Colloquia]
CRIN, Nancy (10 hours), May 1985.
ICOT, Tokyo (5 hours), December 1985.
Summer Institute for Computer Science, Taipei (30 hours), August 1987.
University of Milan, Milan (6 hours), September 1987.
University of Milan, Milan (15 hours), April, 1989.
University of Orleans, Orleans, France (4 hours), April 1991.
Speaker of the Distinguished Lecture Series of the 1991
season at the Portland State University.
Given over 100 invited talks in at least 15 countries.