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

External Resources The HyperText Bibliography Project(MIT)

Page maintained by Jonathan Duncan
Last update on July 9, 2010