Faculty

• Zena M. Ariola
• Stephen F. Fickas
• Michal Young

Projects

Automatic Testing tools

JCrasher, CnC, and DSD-Crasher: analyze programs statically and dynamically for bug detection.

Logic of Programs

Type systems, term rewriting systems, computational content of classical logic, abstract machines.

Laboratories and Affiliations:

• Oregon Programming Languages Summer School
• OMSE: Oregon Masters of Software Engineering