Project Ideas

Security

Dual Channel Program Analysis

Program Analysis

Classical Software Engineering

Program Transformation

Empirical Software Engineering

Miscellaneous