The Programming Systems Lab

Gail Kaiser, Director

PSL conducts research in software engineering, software systems and software security, currently focusing primarily on static and dynamic program analysis and software testing. We apply software engineering techniques to machine learning-based systems, and apply ML (and ‘big code’) to SE problems.  We are also interested in working with computational scientists on their workflows and the robustness of their software. We usually seek to recruit new MS and undergraduate project students (must be enrolled at Columbia University) every semester including summers, but we are unable to take new students this summer 2019.


Students Meeting in PSL

PSL at work