| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Mon, 22 Sep 2025 16:41:45 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"68d17c49-1e46"
expires: Mon, 29 Dec 2025 15:03:55 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: B4F4:2B0FD4:8FDBA9:A15D15:69529600
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 14:53:55 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210089-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767020035.112429,VS0,VE209
vary: Accept-Encoding
x-fastly-request-id: 0088a0076143e591f996e12f7a2bab48fb54e548
content-length: 3013
squaresLab@CMU
We Care About Software Quality
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 (Associate) Professor Claire Le Goues, and also includes:
- He Ye, Postdoctoral Scholar
- Aidan Yang
- Claudia Mamede
- Daniel Ramos
- Harrison Green
- Kush Jain
- Luke Dramko
- Nikitha Rao
- Trenton Tabor
- Tobias Dürschmid
- Paulo Santos (honorary member)
We have student and postdoc alums:
- Milda Zizyte
- Chris Timperley
- Jeremy Lacomis
- Leo Chen
- Sophia Kolak
- Yiwei Lyu
- Zhen Yu Ding
- Rijnard van Tonder
- Zack Coker
- Deby Katz
- Mauricio Soto
- Afsoon Afzal
- Cody Kinneer
Past visiting students and postdoctoral scholars include:
- Hoaye Tian, University of Luxembourg
- Alfredo Cruz Carlon, IT University of Copenhagen
- Xuan Bach Le Dinh, University of Melbourne (Australia)
- Tian Yuan, Queen’s University (Canada)
- Le Bui Tien Duy, Singapore Management University
- Pavneet Singh Kochhar, Microsoft (Canada)
We have also worked with a number of wonderful undergraduates through the REUSE program. You should apply!
If you’re not sure who to contact, squaresLab can be reached via email: clegoues@cs.cmu.edu
*We apologize, sort of, for the egregious backronym.