Curriculum Vitae for Paul E. Black

Personal Data

• Name: Paul E. BLACK
• Title:Computer Scientist
• Mailing Address:
  National Institute of Standards and Technology
  100 Bureau Drive, Stop 8970
  Gaithersburg, Maryland 20899-8970
  USA
• Office:NIST North, Room 520
• Telephone: +1 301 975 4794
  Fax: +1 301 926 3696
• E-mail: paul.black@nist.gov
  or p.black@acm.org KC7PKT
• Public Key: PGP USA

I work in the Software Quality Group, Software Diagnostics and Conformance Testing Division of the Information Technology Laboratory in NIST. NIST is an agency of the U.S. Commerce Department's Technology Administration.

My current projects are

• Computer Forensics Tool Testing
• Software Assurance Metrics and Tool Evaluation
• Recruiting PostDocs for ITL research
• Editor for the Dictionary of Algorithms, Data Structures, and Problems web site.

Here are pages with links to on-line copies of my published papers, my list of useful and interesting links, and my personal home page.

Education

• Ph.D., 1998, Brigham Young University, Dissertation: Axiomatic Semantics Verification of a Secure Web Server
• M.S. Computer Science, 1983, University of Utah, Software Emphasis
• B.S., 1973, Southern Utah State College, Major - Mathematics, Minor - Computer Science/Physics

Professional Positions

Sep 97 - Present NIST

Gaithersburg, Maryland 20899

Computer Scientist

Jan 94 - Aug 97 Brigham Young University

Laboratory for Applied Logic

PO Box 26576, Provo, Utah 84602-6576

Research & Teaching Assistant

Sep 92 - Dec 93 UC Berkeley

Dept. of Computer Science, Berkeley, California

Teaching Assistant

Sep 91 - Oct 93 MetaSoftware

1300 White Oaks Rd, Campbell, California

Software Engineering Consultant

Jan 92 - Aug 92 Delfin Systems

3000 Patrick Henry Dr, Santa Clara, California 95054

Staff Engineer

Jul 84 - Aug 91 Cirrus Logic (contract after Oct 90)

3100 Warren Ave, Fremont, California 94538

Software Project Manager/Senior Programmer

Sep 83 - Jul 84 ESL

495 Java Dr, PO Box 3510, Sunnyvale, California 94088-3510

Software Engineer

Jan 82 - Sep 83 Patil Systems (Cirrus Logic)

391 Chipeta Way Suite C, Salt Lake City, UT 84108

Programmer

Nov 77 - Jan 82 Sentinel Security Life Insurance Company

2121 South State, Salt Lake City, UT 84115

Data Processing Supervisor/Programmer

Professional Societies

• Association for Computing Machinery
• Institute of Electrical and Electronics Engineers
• IEEE Computer Society

General

• I served a mission for the LDS Church in Brazil.
• Eagle Scout
• Knowledge of Portuguese, Spanish, and American Sign Language
• Married, 4 children
• Amateur Radio License KC7PKT, Technician Class

Finished Projects

• Organized and hosted a Formal Methods Tutorial.
• Taught Scientific Programming - C (CS130) at BYU.
• Taught Data Structures (605) at Johns Hopkins.
• Notes on my lecture to the Software Engineering course on Formal Methods
• The Orbiter Discovery's Visit to Utah.

Other, Less Directed Links

I've put together some web sites and collections. Here are some I'm especially happy with and links to other miscellaneous on-line stuff of mine.

• I led a group consisting of most of my OO class in building a hypertext OSA Tutorial. There were on-line quizes, but the quiz program is not working.
• As an experiment in HTML graphics and interfaces, I designed a page to resemble the Plasma Distribution System Diagram on the Enterprise.
• On the Composition of the Universe
• My Erdös number.

PGP USA Public Key

Updated Fri Oct 22 11:19:37 2004

This page's URL is /~black/