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.
Ricardo Brancas
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.
