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
I am also interested in
Software facts, an idea
first communicated to me by Aspect Security.
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
General
Finished Projects
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 Jun 2 10:03:38 2009
by Paul E. Black
(paul.black@nist.gov)
This page's URL is /~black/