Curriculum Vitae for Paul E. Black
Personal Data
I work in the Information Systems Group,
Software and Systems
Division of the
Information Technology
Laboratory in NIST. NIST is an agency of the
U.S. Commerce Department.
My current projects are
Here are pages with links to
on-line copies of my published papers
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
General
-
I served a mission for the
Church of
Jesus Christ of
Latter-day Saints
in Brazil.
- Eagle Scout
- Knowledge of Portuguese, Spanish, and American Sign Language
- Married, 4 children
- Amateur Radio License KC7PKT, Technician Class
Finished Projects
- Taught Scientific Programming - C (CS130) at BYU.
- Taught Data Structures (605) at Johns Hopkins.
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.
Updated
Tue Dec 8 18:45:38 2020
by Paul E. Black
(paul.black@nist.gov)
This page's URL is /~black/