PAN is for Program ANalysis Group.

Our research goal is to improve software quality through program analysis and software testing.

We are interested in finding, diagnosing, and repairing software bugs and vulnerabilities.

Faculty: Marcelo d'Amorim