Search
Close this search box.

Ricardo Brancas

My research focuses on helping programmers and non-programmers on their daily tasks, by leveraging Program Synthesis and Program Repair techniques. Some of my other research interests include Formal Methods and Compilers.

Daniel Ramos

Daniel Ramos is a dual-degree Ph.D. candidate at CMU and IST, specializing in automated large-scale code refactoring. His research has been featured in top venues such as ASE, ICSE, PLDI, and TOSEM. Notably, his work on PolyglotPiranha, a refactoring tool developed with Uber’s Programming Systems Group, is used by multibillion-dollar companies.