Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
Insufficient Information
Research Experience
- Research Postgraduate, Institute for Computing and Systems Architecture (ICSA), University of Edinburgh, under the supervision of Professor Michael O'Boyle
- Project Experience: Lifting legacy code to optimized domain-specific languages; Whiro project for automatic inspection of program state; Jotai project for generating synthetic inputs to turn Angha programs into executable
Education
- Ph.D. in Computer Science, The University of Edinburgh, 2022-Present, Advisor: Michael O'Boyle
- Master's Degree in Computer Science, Federal University of Minas Gerais (UFMG), 2019-2021, Advisor: Fernando Magno Quintão Pereira
- Bachelor's Degree in Computer Science, Federal University of Viçosa (UFV), 2015-2018, Advisor: Daniel Mendes Barbosa
Background
Research Interests: Compilers and Programming Languages, with a focus on Neural-Guided Program Synthesis and Benchmark Validation. Currently researching methods to automatically lift legacy code to new, modern, and optimized languages.