Paulo Canelas, LASIGE’s researcher and PhD Student, recently finished his four months Summer Internship at the Programming Systems Research Group (PSG) at Uber Technologies Inc. in California.

During his internship, he used program analysis techniques to statically detect configuration issues internally at Uber.