Computer Science Research at WWU - An overview

Instructional Compiler/Assembler
Compiler Construction Tools in Prolog
The goal is to produce, in a declarative format, an easily retargetable compiler for instructional use.
Automated Reasoning - Analytic Tableau
Knowledge Units; Labs

Senior Projects
Sprouts

External Resources The HyperText Bibliography Project(MIT)