Paul E. Black
Sep 97 - Present -- NIST, Gaithersburg, MD
Jan 94 - Aug 97 -- Brigham Young University, Laboratory for Applied Logic, Provo, UT
Research & Teaching Assistant
Sep 92 - Dec 93 -- UC Berkeley, Dept. of Computer Science
Sep 91 - Oct 93 -- MetaSoftware, Campbell, CA
Software Engineering Consultant
Jan 92 - Aug 92 -- Delfin Systems, Santa Clara, CA
Jul 84 - Aug 91 -- Cirrus Logic, Fremont, CA
Software Project Manager/Senior Programmer
Nov 77 - Jan 82 -- Sentinel Security Life Insurance Company, Salt Lake City, UT
Data Processing Supervisor/Programmer
Ph.D. Computer Science, 1998, Brigham Young University
Axiomatic Semantics Verification of a Secure Web Server
M.S. Computer Science, 1983, University of Utah
B.S., 1973, Southern Utah State College (now Southern Utah University)
Major - Mathematics, Minor - Computer Science/Physics
Dr. Black has nearly 20 years of industrial experience in areas such as developing software for IC design and verification, assuring software quality, and managing business data processing. He is now a Computer Scientist in the Software Quality Group, Systems and Software Division, Information Technology Laboratory. The web site he began and edits, the on-line Dictionary of Algorithms and Data Structures, (http://www.nist.gov/dads/) is accessed almost 20,000 times a day from all over the world.
Dr. Black began his Ph.D. at UC Berkeley, then transferred to Brigham Young University where he graduated in 1998. He has taught classes at Brigham Young University and Johns Hopkins University. Dr. Black has published in the areas of static analysis, software testing, software configuration control, networks and queuing analysis, formal methods, software verification, quantum computing, and computer forensics.
Programming Languages: C, Perl, Python, Java, Pascal, C++, ML, Lisp, Fortran, RPG II, Assembler, and Forth
Operating Systems: Linux, UNIX, Microsoft Windows, and VAX/VMS
Computers: Intel, Sun, DEC VAX, and IBM System 3
For a complete listing of Dr. Black's publications, see: http://hissa.nist.gov/~black/Papers/
U.S. Department of Commerce Bronze Medal for developing a series of outstanding technical guidelines addressing critical cybersecurity needs prioritized by the White House, December 2017.
U.S. Department of Commerce Bronze Medal for leadership in the development of software assurance test methods and reference data, December 2013.
Best Project Chief Certificate for extensive knowledge, hard work, and loyalty to the team members of SAMATE, September 2006.
ITL Outstanding Authorship Award in recognition of his publication, "Quantum Computing and Communications", September 2003.