A. Rosina Bignall (bigna@lal.cs.byu.edu) Education: B.S. Brigham Young University, Provo, Utah, 1992, Currently graduate student Brigham Young University, Computer Science. Experience: Webmaster, Computer Science Department, BYU; Adjunct Faculty, UVSC; Teaching Assistant, BYU; IBM AS/400 Development; IBM VM/CMS Development. Awards: Scholastic All-American; National Collegiate Leadership Award; National Computer Science Award.
Dalinda Kae Bond (dbond@uvsc.edu) Education: B.S. Weber State College, Ogden, Utah, 1994. Experience: Adjunct Faculty, UVSC; Computer Training Consultant; Instructional Television, BYU; Women in Science Seminar.
Judy Cossel Rice (ricej@yvax.byu.edu) Education: B.S. Brigham Young University, Provo, Utah, 1991, Special Education, Currently graduate student Brigham Young University, Instructional Science. Experience: Developer Mosaic program, BYU; Teacher Heritage RTC; Special Faculty BYU; Parent Trainer, Utah Parent Center. Conducted workshops: Alpine School District, Carbon School District, Learning Disabilities Association of Utah, Church of Jesus Christ of Latter Day Saint, Brigham Young University, and Project Literacy on issues relating to working with learning disabled and special needs children and adults.
Phillip J. Windley (windley@cs.byu.edu) Education: Ph.D., University of California, Davis, 1990, Computer Science Experience: Phillip J. Windley is Director of the Laboratory for Applied Logic at Brigham Young University where he in an Assistant Professor of Computer Science. His research interests center on the application of logic to computer science: particularly the specification and verification of hardware. He has taught numerous courses on the use of higher-order logic and the HOL theorem prover in computer system verification. Windley is currently exploring the use of distributed hypermedia in collaborative proof.
Contact Author: A. Rosina Bignall ( bigna@lal.cs.byu.edu)