Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Laboratory for Applied Logic (LAL)

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || Library Help
_____________________________________

Visit this site: http://lal.cs.byu.edu/

Author:Brigham Young University, Provo, UT
Description: 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.

Levels: Research
Languages: English
Resource Types: Research Centers
Math Topics: Logic/Foundations, Computer Science

[Privacy Policy] [Terms of Use]

_____________________________________
Home || The Math Library || Quick Reference || Search || Help
_____________________________________

© 1994-2014 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.