squaresLab, at Carnegie Mellon’s School of Computer Science, focuses on Software QUAlity in Real Evolving Systems.* We do research in automated techniques to reason about, assure, measure and then improve the quality of real, messy, ever-changing software.
Our public projects can be found at squaresLab GitHub
squaresLab@CMU is led by (Assistant) Professor Claire Le Goues, and also includes:
Past visiting students include:
If you’re not sure who to contact, squaresLab can be reached via email: clegoues at cs dot cmu dot edu
*We apologize, sort of, for the egregious backronym.