Date: Tue, 14 Jan 1997 20:33:41 GMT Server: Apache/1.0.3 Content-type: text/html Content-length: 7757 Last-modified: Wed, 04 Dec 1996 00:47:34 GMT Home Page for Paul E. Black

Home Page for Paul E. Black

Paul E. Black
Laboratory for Applied Logic
Dept. of Computer Science, TMCB 3325
Brigham Young University
Provo, Utah 84602-6576

telephone: +1 801 378 8113
black@cs.byu.edu
p.black@ieee.org
KC7PKT

Paul Black is studying at Brigham Young University where he is pursuing a Ph.D. in Computer Science. He began his Ph.D. program at UC Berkeley, and transferred to BYU in 1993. His research interests are formal verification of software and software engineering.

Black earned an MS in Computer Science at the University of Utah in 1983 and a BS in Mathematics at Southern Utah State College (now Southern Utah University) in 1973. He has 17 years industrial experience developing IC design and verification tools, designing configuration management systems, assuring software quality, and managing business data processing. He is a student member of the ACM and the IEEE.

He served a mission for the LDS Church in Brazil, and has visited Belgium, Canada, Finland, Germany, Great Britain, and Mexico. There's even a recent picture on-line. He keeps favorite links in a personal hotlist which he updates occasionally.


Published Papers On-Line

Finished Projects

Other, Less Directed Links

I've put together some web sites and collections. Here are some I'm especially happy with and links to other miscellaneous on-line stuff of mine.


Updated Tue Dec 3 17:47:33 1996
by Paul E. Black  (black@lal.cs.byu.edu)