University of Idaho Laboratory for Applied Logic Home Page


Computer Science Home Page Univ. of Idaho Home Page

Welcome to the University of Idaho Laboratory for Applied Logic (LAL).

We are the one and original LAL, with one branch lab (so far), BYU-LAL, located at Brigham Young University in Provo, Utah.


The faculty of the LAL are:

Resident CS Faculty:

Resident non-CS Faculty:

Non-Resident Faculty:


The students in the LAL are:


1994-1995 Research Report


Recent LAL Techreports