Qualifications

Bachelor's degree in Computer Science (Federal University of Rio Grande do Sul, Brazil); Master's degree and PhD (University of Basel, Switzerland)

Research interests

My research is on automated planning, with a particular focus on how to plan over different representations. Most of my previous work was on lifted planning and grounding. But I also worked on other things, such as interactive proofs for planning and some computational complexity questions.

Featured publications

View a list of my publications on my personal website.