User:PaulBlack

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 for the U.S. National Institute of Standards and Technology (NIST) near Washington, D.C. 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 Software Quality Group 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 chaired or co-chaired many workshops and conference sessions. He has taught classes at Brigham Young University and Johns Hopkins University. Dr. Black has published in the areas of software assurance, software testing, 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.

Paul is a High Priest in the Church of Jesus Christ of Latter-Day Saints. He has been happily married for over 30 years and has been blessed with four children. Paul has been known to read an entire novel in one night, although his wife discourages such excesses. The family lives in Gaithersburg, where he grows a garden, fruit trees, and a little grayer each year.