Álvaro Silva, a Ph.D. candidate at FEUP in Portugal, aspires to research the interconnection between Formal Verification and generative AI applications. Previously, Álvaro was an ASIC Digital Design Staff Engineer at Synopsys, where he performed functional and formal digital IP verification for automotive-grade products. In this role, Álvaro gained an appreciation for software verification and the challenges it presents. He holds an integrated Master’s degree in Electrical and Computer Engineering from FEUP, where he graduated with a GPA of 19/20. Recognized for his academic excellence, Álvaro was awarded two merit scholarships.
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.
Since my Master’s Thesis, I have been researching program synthesis, the task of constructing a computer program based on a high-level description of what it should do. I will continue to explore this topic on my PhD: through program synthesis, I hope to find ways to help everyone easily and safely use a computer to automate daily tasks.
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.
