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.
Programming Languages: C, Perl, Java, Pascal, C++, Lisp, Fortran, RPG II, Assembler, & Forth
For a complete listing of Mr. Black's publications, see: http://hissa.nist.gov/~black/Papers/
Software and Systems Division
Component Software Group
Sep 97 - Present -- NIST, Gaithersburg, MD
Jan 94 - Aug 97 -- Brigham Young University, Laboratory for Applied Logic, Provo, UT
Sep 92 - Dec 93 -- UC Berkeley, Dept. of Computer Science
Sep 91 - Oct 93 -- MetaSoftware, Campbell, CA
Jan 92 - Aug 92 -- Delfin Systems, Santa Clara, CA
Jul 84 - Aug 91 -- Cirrus Logic, Fremont, CA
Nov 77 - Jan 82 -- Sentinel Security Life Insurance Company, Salt Lake City, UT
Ph.D. Computer Science, 1998, Brigham Young University
M.S. Computer Science, 1983, University of Utah
B.S., 1973, Southern Utah State College (now Southern Utah University)