Scholar
Augusto B. Corrêa
Google Scholar ID: 8JNOVPgAAAAJ
University of Oxford
Citations & Impact
Citations
287
H-index
8
i10-index
6
Publications
20
Co-authors
12
list available
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Research Experience
- Currently a Junior Research Fellow at Christ Church college, University of Oxford, UK.
Education
- Ph.D. and Master's degree from the University of Basel, Switzerland, under the supervision of Prof. Malte Helmert; Bachelor's degree from the Federal University of Rio Grande do Sul, Brazil, under the supervision of Prof. André G. Pereira and Prof. Marcus Ritt.
Background
- Research interests: automated planning, with a particular focus on how to plan over different representations. Most of his previous work was on lifted planning and grounding, but he also worked on interactive proofs for planning and some computational complexity questions.
