Laboratory for Applied Logic (LAL)
Library Home || Full Table of Contents || Library Help
|Brigham Young University, Provo, UT|
|A research unit of the Department of Computer Science specializing in applying mathematical methods to problems in computer dependability. The research conducted in the LAL is currently divided into three major areas: modeling abstract hardware components (sponsored by the NSF), verified computer systems (sponsored by the NSA), and WWW technologies (sponsored by IR&D). Some of the research is documented in papers and technical reports.|
|Resource Types:||Research Centers|
|Math Topics:||Logic/Foundations, Computer Science|
© 1994- The Math Forum at NCTM. All rights reserved.