From: agoyal@CS.Stanford.EDU (Anoop Goyal)
Subject: M.S. Computer Science from Stanford University.
Organization: Computer Science Department, Stanford University.
Date: Tue, 26 Jan 1993 03:52:07 GMT

Dear Sir, 

I will be graduating from Stanford University with a Master's degree
in Computer Science, in June 1993, and would like to explore the
possibility of working as a software engineer.

In addition to completing the requirements of the M.S degree, I have
been working as a Research Assistant at Stanford. I did substantial
project work as an undergraduate, and worked in the industry during
summer. All these have given me the experience of working in a team
for software development. With my previous jobs, I have demonstrated
an ability to learn new responsibilities quickly and have made
positive contributions to the projects on which I have worked. I
believe that this background, together with my academic preparation,
will be valuable.

My resume, which provides additional details about my background,
follows.

Thank you for your time and consideration.

Sincerely,

Anoop Goyal


--------------------------- CUT HERE ---------------------------------------

				Anoop Goyal

Mailing Address :                       Office Phone : (415) 723-1089
P.O. Box 9920                           Home Phone : (415) 497-7297
Stanford, CA 94309                      Email : agoyal@cs.stanford.edu

OBJECTIVE:
A career in the field of software design and development.

AREAS OF INTEREST:
Operating Systems, Networks, Applications software, Databases.

EDUCATION:
9/91 - 6/93  M.S, Computer Science
             Stanford University, Stanford, CA. GPA = 3.75/4

7/87 - 6/91  Bachelor of Technology, with Honors,
             Computer Science and Engineering
             Indian Institute of Technology, Kharagpur. GPA = 9.12/10

EXPERIENCE:
Research Assistant, Program Analysis and Verification Group, Stanford
University.  8/91 - present
     Responsible for the development of Anna software, used for
program testing. The development involved the use of program
transformation and compilation techniques. It takes an Ada program
with annotations as input, performs semantic analysis and generates
runtime checking code for Ada.

     Implementation of run-time monitoring of programs with respect to
algebraic specifications.

     Member of the Stanford/TRW Prototech Language Design Team
involved in the design and implementation of Rapide -- a language for
prototyping large, distributed, time-critical systems.

Senior Project, Indian Institute of Technology, Kharagpur. 7/90 - 6/91
     Designed and implemented an Inter-Process Communication (IPC)
layer for a unidirectional ring of transputers. The implementation was
done in the concurrent language Occam. This was judged the Best
Computer Science Project in the department for 1990-91.

Intern, Steel Authority of India Ltd. 5/90 - 7/90
     Worked in the Computer Managed Maintenance System project, for
efficient scheduling of maintenance jobs in different machine shops.
Implemented efficient routines to calculate time and cost involved in
maintenance.

COMPUTER SKILLS: 
Languages : C, Pascal, Ada, Scheme, FORTRAN, 80x86, Occam, Anna
            (Specification), Rapide (Prototyping)
Operating Systems : UNIX, DOS
Hardware Platforms : Sparc Station 2, Sun3, HP9000, Sequent, PC AT/XT,
                     Cyber-120/180, Transputer

HONORS:
Best Computer Science Project Award, Indian Institute of Technology,
Kharagpur, 1990-91.

Gold medal from President of India for excelling in National Standard
Examination of Physics, 1987.

National Talent Search Scholarship, 1985-91. Awarded to top 500/17000
students in India.



PUBLICATIONS AND PRESENTATIONS:
D. C. Luckham, S. Sankar, W. Mann, and A. Goyal. Anna -- A Language
for Specifying Ada. In Proceedings of the DARPA Software Technology
Conference. Los Angeles, California. April, 1992. Pages~498-501.

A. Goyal and S. Sankar. Importance of formal specifications as precise
documentation : An application of Anna and its associated toolset.
Forthcoming publication.

S. Sankar, A. Goyal, P. Sikchi. Software Testing using Algebraic
Specification Based Test Oracles. Forthcoming publication.

Made a presentation on the Anna language, at the San Francisco Bay
Area SigAda meeting, 9/92.

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

Keywords: