Dr. Paul E. Black is a computer scientist at NIST with over 20 years of experience in software development, quality assurance, and management. He holds a Ph.D. in Computer Science from Brigham Young University and has published research in areas including static analysis, software testing, formal methods, and quantum computing. Black has taught at multiple universities and has received awards for his work in cybersecurity and technical guidelines development. His expertise includes various programming languages, operating systems, and computer systems.
Source: https://www.nist.gov/people/paul-e-black
Keywords: Verification, Quantum Computing, Formal Methods, Cybersecurity
