From: yjlee@cs.tamu.edu (Yuunjung J Lee)
Subject: PhD in CS seeks position in AI/SE
Organization: Computer Science Department, Texas A&M University
Distribution: usa
Date: Wed, 18 Nov 1992 20:08:19 GMT

Dear Prospective Employers;

I am seeking a position in AI/SE as I am expecting to obtain 
my PhD degree concentrated on 
artificial intelligence and software engineering 
at Computer Science Department, Texas A&M University on 
December 1992. 
 
During the last two years, I have developed a specification
methodology for expert systems (TBSM) , accomplished a specification 
for R1/SOAR based on the methodology (in a reverse engineering
fashion), generated a formal foundation of the methodology, developed
an algorithm for verifying the specification 
for potential inconsistency, investigated issues regarding validation
of expert systems using the methodology, extended TBSM using fuzzy 
logic, implemented a knowledge acquisition tool (TAME) in a 
hypertext environment that supports the acquisition of the
specification, and used fuzzy logic for specifying imprecise 
requirements. Both TBSM and TAME are currently in
the process of patent application through the university.

My thesis work has lead to an accepted journal paper schduled 
to appear in IEEE Expert on February 1993 (two journal papers in 
review), a book chapter (two forthcoming, one in review),
and eight conference and workshop papers including an invited
paper for IEEE-FUZZ 93. I have several years of experience as 
research associate, research assistant, as well
as teaching assistant at Texas A&M University, and a summer hiring
research programmer at IBM. I also have presented my work at DEC 
AI Center, IBM Houston, and several international conferences.

Should you desire any more information, please do not hesitate to
contact me. My email is yjlee@cs.tamu.edu, and phone numbers are (Home)
409-846-9672, (Office) 409-845-1298. 

Best Regards,

Jonathan Lee

------------------------------------------------------------------------------

				JONATHAN Y. LEE
	Office						Residence
Department of Computer Science 			101 Avenue C #D 
Texas A&M University 				College Station, TX 77840 
College Station, TX 77843 
Phone: (409) 845-1298 				(409) 846-9672 
Email: yjlee@cs.tamu.edu 


CAREER OBJECTIVE

To utilize my education and experience in the areas of  
software engineering, artificial intelligence, hypertext, and real
time systems, and apply the research initiative to industry practice. 

EDUCATION
PhD in Computer Science at Texas A&M University (TAMU); Dec. 1992 (expected).
Master of Computer Science at Texas A&M University; Dec. 1988.
BS in Electrical Engineering at Chung Yuan Christian University; June 1984.

PATENT
Developed a task-based specification methodology and system which is in 
the process of patent application through Texas A&M University.

COMPUTER LANGUAGES AND SYSTEMS
o  Specification Language: Z.
o  Programming Language: C, LISP, Pascal, Fortran.
o  Interface Toolkit: Microsoft SDK Window Development, X-Window.
o  Expert Systems Language (Tool): CLIPS, OPS5, LOOM.
o  Hypertext system (language): KMS (action language).
o  Operating System: UNIX, MS-DOS.
o  Machine: SUN, Macintosh, TI-Explorer, Silicon-Graphics.

RESEARCH INTERESTS
o  Artificial intelligence.
o  Software engineering.
o  Fuzzy logic.
o  Hypertext.

My research plan consists of several tasks: 1) to use fuzzy logic as a
basis for soft functional requirements to tackle uncertainty issues in
classification type of expert systems and validation of expert
systems, 2) to develop the formal foundation for validation/testing of
software specifications in the context of TBSM, 3) to further explore
the issues of considering both specification and prototype
representation for the purpose of design in the framework provided by
TAME, 4) to automate the process of converting the prototype
representation to executable prototype systems, and 5) to conduct an
empirical evaluation of the TBSM. 

EXPERIENCE
o  Jan 1992 - Present: Teaching Assistant at Computer Science 
   Department, TAMU.
   o  Assist instructor in teaching C, Fortran, and Pascal computer
      languages.

o  Aug 1990 - Dec 1991: Research Associate/Assistant at Computer Science 
   Department, TAMU. 
   o  Developed a task-based methodology for specifying
      expert systems and other complex software systems.
   o  Accomplished a specification for R1/SOAR, in a reverse engineering
      fashion, using the task-based specification methodology.
   o  Generated the formal foundation for the task-based specification 
      methodology.

o  May 1990 - Aug 1990: Research programmer at the IBM Federal Systems 
   Division, Houston.
   o  Played a major role in developing a design methodology 
      (TOP) to facilitate the verification of expert systems,
      which is in the process of patent application.

o  Nov 1987 - Jan 1989: Research Assistant at Entomology Department, TAMU.
   o  Implemented an integrated information system combining user 
      interface, graphics, database, and simple rules to manage
      brush problems in Microsoft Window environment using C language.

PUBLICATIONS
o  Journal Articles
   1) John Yen and Jonathan Lee. A Task-Based Methodology 
      for Specifying Expert Systems. (scheduled to appear in IEEE 
      Expert on February 1993).
   2) Jonathan Lee and John Yen. The Formal Foundation of a Task-Based
      Specification Methodology. (submitted to IEEE Trans. Software
      Engineering), 1992.
   3) John Yen and Jonathan Lee. Validating Expert Systems Using a
      Task-Based Specification Methodology (submitted to International
      Journal of Expert Systems.), 1992. 


o  Book Chapters
   1) Jonathan Lee and John Yen. TBSM: A Task-Based Specification 
      Methodology for Knowledge-Based Systems. (to appear) In W.T. 
      Tsai, editor, Software Engineering of Knowledge-Based Systems:
      Verification and Validation. 1993.
   2) Jonathan Lee and John Yen. A Soft Approach to Validating
      Knowledge-Based Systems. (to appear) In R.R. Yager and L.A. Zadeh,
      editors, Fuzzy Sets, Neural Networks and Soft Computing. 1993.
   3) Jonathan Lee, John Yen, and Josette Pastor. A Tool for Task-Based
      Knowledge and Specification Acquisition. (in review). 1992.
   4) John Yen, Jonathan Lee, and David Hamilton. 
      Expert systems design methods supporting verification. In G.H. 
      Schildt and J. Retti, editors, Dependability of Artificial 
      Intelligence Systems (DAISY-91), pages 121-131. North-Holland,
      1991. 

o  Conference Papers
   1) Jonathan Lee and John Yen. A Formal Approach to Specifying
      Requirements of Knowledge-Based Systems. (submitted to IJCAI-93'),
      1992.
   2) John Yen and Jonathan Lee. Fuzzy Logic as a Basis for Specifying 
      Imprecise Computation. (invited paper, to appear in Proceedings of
      Second IEEE International Conference on Fuzzy Systems 93'), 1993.
   3) John Yen, Nathan Pfluger, Jonathan Lee, and Swami Natarajan.
      Designing a Fuzzy Scheduler for Hard-Real Time System. (to
      appear in Proceedings of North American Fuzzy Information 
      Processing Society 92').
   4) Jonathan Lee, John Yen, and Josette Pastor. TAME: an Integrated
      Environment for Task-Based Knowledge Acquisition and Specification
      Elicitation. (to appear in Proceedings of Fourth IEEE International
      Conference on Tools with AI). 1992.
   5) John Yen and Jonathan Lee. Toward a knowledge specification 
      language using conceptual graphs. In Proceedings of Expert Systems 
      Congress, Pages 1897-1902, Dec. 1991.
   6) Jonathan Lee and John Yen. Toward a general methodology for 
      specifying expert systems. In Proceedings of Third IEEE International 
      Conference on Tools for Artificial Intelligence, Pages 260-263, 
      Nov. 1991.
   7) Jonathan Lee and John Yen. A task-based methodology 
      for knowledge specification. In Proceedings of Third International 
      Conference on Software Engineering and Knowledge Engineering, 
      pages 84-89, June 1991.
   8) John Yen, Jonathan Lee, and David Hamilton. 
      Designing verifiable expert systems. In Proceedings of Second 
      IEEE International Conference on Tools for Artificial 
      Intelligence, pages 878-884, Nov. 1990.

o  Workshop Papers
   1) John Yen and Jonathan Lee. Issues in using 
      conceptual graphs for knowledge specifications. 
      In Proceedings of Sixth Workshop on Conceptual 
      Graphs, 11-13 July, 1991.

o  Technical Reports
   1) Jonathan Lee and John Yen. Formal Specification Methods Meet 
      Knowledge-Based Systems. TAMU 91-034, December 1991.
   2) John Yen, Swami Natarajan and Jonathan Lee. Imprecise
      Computation for Resource-constrained Rule-based Reasoning. TAMU
      91-037, September 1991.

REFERENCES
o  Available on request.