From: boaz@concerto.lcs.mit.edu (Boaz Ben-Zvi)
Newsgroups: misc.jobs.resumes
Subject: MIT MSCS; 7 yrs exp; C,C++,UNIX,TCP/IP,MS-DOS,LISP; Boston area
Keywords: MSCS, UNIX, BOSTON
Date: 23 Jul 92 14:33:56 GMT
Article-I.D.: mintaka.1992Jul23.143356.521
Reply-To: boaz@lcs.mit.edu
Followup-To: poster
Organization: Laboratory for Computer Science, MIT

Dear Prospective Employer,

  I am looking for a challenging R&D position in distributed systems, networks
or advanced software projects, preferably in the Greater Boston area. I hold
a Master's and an Engineer's degrees in Computer Science from MIT.

In the past seven years I have worked in both the C/UNIX/TCP/IP and the
PC/MSDOS/LAN environments at several companies and as a research or teaching
assistant at MIT. I have experience with all phases of software project
development, object oriented design, distributed applications, and some
X-windows.  As for the academic part of my experience, I believe it has given
me a better understanding of the fundamental principles behind computer
systems, a broad exposure, and the ability to judge new ideas.

I am willing to consider consulting or long term contracts. My status is
non-resident with current work permit valid till December 1993.

I look forward to hearing from you. My details are on the enclosed resume.

	Yours,
		Boaz Ben-Zvi

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

			BOAZ BEN-ZVI

Office:                                           Home:
  MIT Lab. for Computer Science                     60 Wadsworth Street
  545 Technology Sq., Room 526                      Apartment 26-C
  Cambridge, MA 02139                               Cambridge, MA 02142
  (617) 253-6212 , boaz@lcs.mit.edu                 (617) 494-1279

PROFESSIONAL INTERESTS

   Research and development in distributed systems, networks or advanced 
   software projects.

EDUCATION
  MASSACHUSETTS INSTITUTE OF TECHNOLOGY                        Cambridge, MA

    Completed all the requirements for a Ph.D. in Computer Science except
    dissertation (on leave starting June 1992). Research field: Access
    control and authentication for distributed systems.

    E.E. in Computer Science, June 1992.
    S.M. in Computer Science, January 1990.

  TECHNION                                                     Haifa, ISRAEL
    B.Sc. in Computer Engineering, June 1985. Summa Cum Laude.
    Awards: 
      + Technion President List (GPA above 4.5/5.0): 1982,1983,1984.
      + Philip Merlin Award - Best student in Computer Engineering for 84/85.

EXPERIENCE
  DIGITAL EQUIPMENT CORPORATION, CRL                           Cambridge, MA
      Summer 1990:
    Built, tested and measured the performance of a prototype distributed
    system that demonstrated the technique of lazy replication for highly 
    available services. The system used a connectionless protocol (UDP) for 
    client to server calls and a stream protocol (TCP) for updates between 
    servers (C/ULTRIX/TCP/IP).

  XEROX PARC                                                   Palo Alto, CA
      Summer 1989:
    Enhanced a document storage system (Shell/SUN-OS) with an access control 
    mechanism based on encryption of documents and the use of capabilities.
    Modified and added key management to the system's client programs 
    (C/LISP/X windows).

  MASSACHUSETTS INSTITUTE OF TECHNOLOGY                        Cambridge, MA
      Sept. 1986 - June 1992: 
    Research assistant - focused on software engineering, distributed systems
    and object-oriented databases. Substantial experience in the C/UNIX 
    environment:
      + Built several large applications: A distributed database with an X10 
        window interface; a simulator of the Argus distributed system; a 
        replicated server for stable storage. (C/CLU/TCP-IP).
      + Installed and modified many applications (C/C++/X windows/LISP/Shells).
      + Extensive experience writing E-LISP applications for Emacs.

    Teaching Assistant (includes in-class teaching and grading of homework 
    and quizzes). Courses:
      + "Structure and Interpretation of Computer Programs."
        Introductory course. Fall 1987.
      + "Computer Language Engineering." Supervised seven teams of students 
        building full-featured compilers for a PASCAL-like language.
        Spring 1989.
      + "Software Engineering Laboratory." Supervised a class through several
        individual and team programming projects with emphasis on code 
        reusability: Object oriented modular design, formal and informal 
        specifications, good documentation and rigorous testing. 
        Spring 1991,1992.

  IBM HAIFA SCIENTIFIC RESEARCH CENTER                         Haifa, ISRAEL  
      April 85 - August 86: 
    Research Fellow - Specialized in Local Area Networks for the IBM PC, 
    mainly the IBM Token Ring. Designed and built many PC applications, 
    including a network interface, a multi-tasking environment.
    (Pascal/C/APL/Assembly/BIOS/MS-DOS).
    Installed and maintained early versions of AIX and BSD on RTs.
    Instructed non-professionals with the use of PC applications 
    (Lotus1-2-3/BASIC/Editors).

  ELECTRONICS LAB, DEPARTMENT OF TELECOMMUNICATIONS      Pretoria, S. Africa
      Summer 1984:
    Programmed an 8086-based monitor for a telephone exchange to collect 
    statistics of the load on telephone lines.

  TECHNION                                                      Haifa, ISRAEL
      Oct. 1981 - May 1986: 
    Undergraduate program. Major projects (each in a team of two):
      + Project in the Digital Lab - A Graphic Display System. Designed and 
        built it using MOTOROLA components 68000, 6845 for CRT control and 
        6850 for terminal communication. Programmed the system to display 
        various graphic patterns and perform graphic functions like scaling, 
        rotating and clipping.

      + Advance Programming Project - Designed a Dynamic Linker for Unix C.
        A program using the linker could load and execute external object code
        functions at run-time.

    Four terms teaching assistant for the Math. Dept. for course in "Regular
    Differential Equations."

PUBLICATIONS
    MIT Area Exam Paper: "Reasoning about the Correctness of Authentication 
    Protocols in the context of Security in Large Distributed Systems," 
    July 1991.
    Studied issues of security in large distributed systems, chiefly 
    Authentication protocols. Analyzed the options of using formal reasoning
    in this context. Presented the work to the exam committee.

    S.M./E.E. Thesis: "Disconnected Actions: An Asynchronous Extension to 
    a Nested Atomic Action System" (Supervised by Professor Barbara Liskov.
    Published as MIT/LCS/TR-475).
    Extended the model of nested transactions used in the Argus system with
    disconnected actions, which work in parallel with the rest of the system. 
    Modified existing protocols for commitment and concurrency control, and 
    designed new mechanisms to ensure serial behavior of the concurrent 
    actions. The new model has been verified by simulation.

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

===============================================================================
  _              _            __         __ ___  _ _   __ ___    ____      ___
 /_) _  _  __   /_) _   __ __ _/    o     |   |   \| __ |   |     /    \ |   |
/__)(_)(_|__/  /__)(_'_/ /   /__\/_(        __|_ __\    | __|_     \  __\| __|_
          __)                                           |                      
===============================================================================
 Boaz Ben-Zvi <boaz@lcs.mit.edu>     MIT Addr: NE43-526   Tel: (617) 253-6212 
===============================================================================
Newsgroups: misc.jobs.resumes