From: yjlee@cs.tamu.edu (Yuunjung J Lee)
Newsgroups: misc.jobs.resumes
Subject: PhD in CS seeking position in AI/SE
Date: 12 Jan 1993 19:56:35 GMT
Organization: Computer Science Department, Texas A&M University
Distribution: usa
NNTP-Posting-Host: neuron.tamu.edu

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  
May 1993. 
 
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 engineering tool (TAME) in a 
hypertext environment that supports the acquisition and organization 
of specification and prototypes, 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 led to two accepted journal papers: one is
schduled to appear in IEEE Expert on February 1993, another one
is to appear in International Journal on Software Engineering and 
Knowledge Engineering, one book chapter (one 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
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
o  PhD in Computer Science at Texas A&M University (TAMU); May 1992
   (expected). 
   (Thesis title: TBSM: a Task-Based Specification Methodology for
   Knowledge-Based Systems)
o  Master of Computer Science at Texas A&M University; Dec. 1988.
o  BS in Electrical Engineering at Chung Yuan Christian University;
   June 1984. 

PATENT
o  A U.S. patent pending on ``System and Method for Specifying an
   Expert System''.

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  Software engineering in knowledge-based systems.
o  Artificial intelligence.
o  Fuzzy logic.
o  Applying hypertext in software development.

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.

REFERENCES
o  Available on request.

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. Enhancing the Software Life Cycle 
      of Knowledge-Based Systems Using a Task-Based Specification
      Methodology. (to appear in International Journal on Software 
      Engineering and Knowledge Engineering).
   2) Jonathan Lee and John Yen. The Formal Foundation of a Task-Based
      Specification Methodology. (submitted to IEEE Trans. Software
      Engineering), 1992.

o  Book Chapters
   1) Jonathan Lee and John Yen. Specifying Soft Requirements of
      Knowledge-Based Systems. (to appear) In R.R. Yager and L.A.
      Zadeh, editors, Fuzzy Sets, Neural Networks and Soft Computing.
      1993. 
   2) Jonathan Lee, John Yen, and Josette Pastor. A Tool for Task-Based
      Knowledge and Specification Acquisition. (in review). 1992.
   3) 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. In Proceedings of Fourth IEEE International
      Conference on Tools with AI, Pages 342-345, Nov. 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.

Newsgroups: misc.jobs.resumes