From: vere@netcom.com (Steven Vere)
Subject: Senior computer scientist seeks software development position
Date: Tue, 18 Aug 92 05:18:32 GMT
Organization: Netcom - Online Communication Services  (408 241-9760 guest) 
Distribution: ca








                                 Steven A. Vere


                               450 Wildberry Drive
                          Boulder Creek, California 95006
                               Home: (408) 338-7503
                             70571.521@compuserve.com


OBJECTIVE    Position in advanced software development

EDUCATION    UNIVERSITY OF CALIFORNIA AT LOS ANGELES
                B.S. in Electrical Engineering 1966
                M.S. in Computer Engineering   1967
                Ph.D. in Computer Science      1970

EXPERIENCE

LOCKHEED MISSILES AND SPACE CO., Palo Alto, California
   1987 to April 1992
   Senior Staff Scientist, Research and Development Division.  

   Project leader for the Basic Agent system.  Designed and programmed
an autonomous agent which integrates  temporal planning and reasoning,
plan execution and  replanning in  a   simulated environment,  limited
natural language understanding   and  generation, symbolic perception,
and episodic memory and reflection.  The application domain is a robot
submarine.   The  agent  accepts  statements,  temporal  commands  and
questions in  a general  English vocabulary  of  1000 words.   Natural
language verbs are represented in a state  transition semantics.   The
agent  can   form and retain   compound future  plans,   and replan in
response  to new  information or new  commands.  Developed 2D graphics
for an animated Seaworld simulation.  This system was  featured in the
article "Silicon  Babies" in  the  December 1991  issue of  Scientific
American.

JET PROPULSION LABORATORY, Pasadena, California
   1980 to 1987
   Member of the Technical Staff, Information Systems Division

     Designed  and  programmed  DEVISER,  a  general-purpose  temporal
planning  and reasoning system.   Actions, events,  and inferences are
modelled by relational  productions.  Novel  features include: dynamic
start time window maintenance, temporal scope of assertions, splicing,
and  selective backtracking.   Designed and programmed  a dynamic plan
display graphic interface.   This system was experimentally applied to
planning onboard activities for  the  Voyager spacecraft's 1986 Uranus
encounter.

UNIVERSITY OF ILLINOIS, CHICAGO
  1974-1980
  Assistant Professor, Information Engineering Department

   Conducted  basic  research in artificial intelligence on production
system models for actions and inferences, and on inductive learning of
relational    concepts  and  productions.      Taught   graduate   and
undergraduate courses in AI and computer science.

HUGHES AIRCRAFT COMPANY, Ground Systems Group, Fullerton, California
   1973 
   Staff Engineer

   Participated in a digital system design automation project.

LOGICON, San Pedro, California
   1970-1973
   Member of the Technical Staff

   Principal designer of a computer architecture for direct execution of the
higher-level language SPL, a dialect of JOVIAL.  Developed an original method
for program correctness proofs and successfully applied it to a military 
command and control program.


MEMBERSHIPS
  ACM, IEEE, AAAI, AISB, CSCSI, and SIGART.

PERSONAL DATA
   Age 47; Married, one child; U.S. citizen; Secret security clearance.


       Publications list and references available on request.
Subject: Senior computer scientist seeks software development position
Newsgroups: misc.jobs.resumes
Distribution: ca


Subject: Senior computer scientist seeks software development position
Newsgroups: misc.jobs.resumes
Distribution: ca


-- 
___________________________________________________________________________

  Steven Vere                                    70571.521@compuserve.com  
  Boulder Creek, California                               vere@netcom.com    
___________________________________________________________________________