NIST logo
*

Paul E. Black, Ph.D.

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 at NIST. 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. He works in the Systems and Software Division of the Information Technology Laboratory.

Dr. Black earned a B.S. in Physics and Mathematics in 1973 and an M.S. in Computer Science in 1983. He began his Ph.D. at UC Berkeley, then transferred to Brigham Young University where he graduated in 1998. Dr. Black has been active in the formal methods research community, and has served as a reviewer for DAC (Design Automation Conference) for several years. 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. He is a member of ACM, IEEE, and the IEEE Computer Society.

Software/Hardware Experience: 

Programming Languages: C, Perl, Java, Pascal, C++, Lisp, Fortran, RPG II, Assembler, & Forth
Operating Systems: Linux, UNIX, Windows, and VAX/VMS
Computers: Pentium, Sun, DEC VAX, IBM System 3, and 80x86

Publications:

For a complete listing of Mr. Black's publications, see: http://hissa.nist.gov/~black/Papers/

Professional Societies:

Image of Paul Black, SSD

Position:

Computer Scientist
Software and Systems Division
Component Software Group

Employment History:

Sep 97 - Present -- NIST, Gaithersburg, MD
Computer Scientist

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
Teaching Assistant

Sep 91 - Oct 93 -- MetaSoftware, Campbell, CA
Software Engineering Consultant

Jan 92 - Aug 92 -- Delfin Systems, Santa Clara, CA
Staff Engineer

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

Education:

Ph.D. Computer Science, 1998, Brigham Young University
Verification of a Secure Web Server

M.S. Computer Science, 1983, University of Utah
Software Emphasis

B.S., 1973, Southern Utah State College (now Southern Utah University)
Major - Mathematics, Minor - Computer Science/Physics  

Contact

Phone: 301-975-4794
Email: paul.black@nist.gov
Fax: 301-975-6097