RESUME OF:
Paul Kinzelman
7 Parklane Circle, Peralta NM 87042 
Home: (505) 865-4648
Cell: (505) 238-9988
Email: paul@kinzelman.com

Summary

Experienced Software engineer and pilot. Over 25 years engineering
experience in the computer industry and 33 years in aviation. High
degree of knowledge in all areas of computer hardware and software
architecture. High degree of knowledge in general aviation and
significant knowledge in commercial aviation.

ENGINEERING HIGHLIGHTS
Significant expertise in the following:
- Operating system driver code logic
- Software simulation
- CAD tools microcode design
- Quality Assurance
- Holder of two US Software Patents.
- High degree of knowledge in project and people management and
  problem solving.

AVIATION HIGHLIGHTS
Total of 5500 hours of aviation experience:
- Includes 2100 hours of multiengine 
- 360 hours of jet experience 
- Over four years of Part-135 experience carrying cargo and
  passengers.
- Holder of an Airline Transport Certificate
- Ratings in multiple categories and classes
- Detailed flying resume, includes time-in-types at: 
      http://fly.kinzelman.com/flyresume.html     

Aviation Employment History:

- FAR part-135 copilot of a Lear-35 Medflight Air Ambulance,
    Albuquerque, NM 1/2008-11/2009 
  - Flew for medical transport, on call 24/7. 
  - Additionally, wrote the medical crew aircraft safety training
    seminar.
  - Created the pilot scheduling spreadsheet and managed the
    First-Officer schedule.
  - Created and wrote the pilot scheduling policy.

- Cargo Pilot of a Cessna 402 South Aero, Albuquerque, NM
    4/2005-1/2008, FAR part-135
  - Flew cargo from Albuquerque to points in New Mexico and Colorado.

Engineering Employment History:

- UNIX Kernel Developer Entercept Security Technologies 1/2001 -  2/2002 (McAfee)
  - Supported and enhanced Solaris and Linux Intrusion Prevention software.

- Staff engineer       ISD Corp, 3/1999 - 1/2001 (ESG) 
  - Responsible for sizing and working on contracts for other
    companies, including a Linux SCSI tape driver, embedded system
    download tool, and a Linux, HP-UX, and Solaris performance tool.

- Design Engineer    Tandem Computers, 1993 - 3/1999  (HP) 
  - Designed, implemented, and tested the ServerNet driver for NSK
    (Tandem's proprietary operating system) and for Windows/NT.
  - Created software test bed to more effectively debug the driver
    software.
  - Served as a mentor and technical director to other software and
    quality assurance engineers.
  - Contributed significantly to the design, debug, and quality
    assurance processes.

- Consulting Engineer  Digital Equipment Corporation (DEC)  1974 - 1993  (HP)
  - Lead responsible for the functional verification of numerous
    revenue-critical projects within DEC.
  - Provided CAD and Logic Simulation consulting to development groups
    within DEC.
  - Provided mentoring and technical direction to design and quality
    assurance engineers.
  - Pioneer in the design of random stimulus generation and simulation
    self-checking for complex systems.  Previously, these techniques were
    applied exclusively at the processor chip level because of the
    complexities of checking system-level simulation results.
  - Created the concept of microcode-driven transactors (test
    benches). Created multi-threaded, precisely timed transactors driven
    by microcode allowing hardware engineers to verify individual
    components of a system.

- US Patent Holder 
  - Patent no. 5594741 ;Method for Control of Random Test Vector
    Generation'
  - Patent no. 6144930 'Method for Providing a Memory Model of a
    Memory Device for Use in Simulation'

- Technical Reviewer for the  following publications: 
  - Understanding the Linux Kernel, Daniel P. Bovet & Marco Cesati,
    O'Reilly Publications
  - Linux Device Drivers, Alessandro Rubini & Jonathan Corbet, O'Reilly
    Publications
  - Exploring Expect,  Don Libes, O'Reilly Publications

- Authored Technical  Articles for VLSI Systems Design Magazine:
  - Transactors and Demons, December 1988
  - Behavioral Exercisers, June 1990

- Lectured on the Principles of my work involving random stimulus
generation and simulation self-checking for complex systems throughout
DEC as well as several internal DECSIM symposiums.

- Designed and Presented Courses
  - Introduction to DECSIM (Digital internal simulator)
  - Advanced DECSIM (Digital internal simulator) 
  - Introduction to Computer Aided Design (CAD) Co-developed these
    courses designed for management and sales force to familiarize
    students with the concepts and advantages of CAD.
My courses consistently received excellent ratings by students.

Education
- Bachelor of Science in Electrical Engineering, (BSEE),
  Carnegie-Mellon University 1974

Professional Certifications
- FAA Airline Transport Pilot: Airplane multiengine land
- Commercial privileges: Airplane single engine land and sea, helicopter, glider
- Certified Flight Instructor: Airplane single and multiengine,
  helicopter, glider, and airplane instrument Type: LR-JET (SIC
  privileges only)

Executive Positions Held
- DCU Credit Union Board of Directors, member from 1992 - 1996. DCU is
the largest credit union in the Northeast, with $600M in assets in
1996.