|
Foundations of Artificial Intelligence (FAI) Group
|
|
I am a PhD student in the Foundations of Artificial Intelligence (FAI) Group at Saarland University, supervised by Prof. Dr. Hoffmann and affiliated with the DFG Research Training Group Neuroexplicit Models of Language, Vision and Action.
My current research focuses on policy debugging in planning: designing verifiable policy representations, formally checking safety properties, and developing methods for repair when violations are found. I'm especially interested in neuro-symbolic and other structured models that balance expressiveness with verifiability. Before my PhD, I completed an MSc at UFRGS (Brazil), where I worked on heuristic search for HTN planning with an emphasis on landmark generation.