I am a computer scientist who works in a sub-field of Artificial Intelligence called Automated Planning. I study and develop AI technologies that enable machines to reason about deliberations in the world, and to reason about how to extend their knowledge about the world intelligently. Subjects where I have published works include: exploiting sub-problem symmetries — ‘descriptive quotient’, computing plan-length upper bounds — ‘sublist diameter’, stochastic local search (SLS) procedures for Boolean SAT(isfiability) — ‘gNovelty+’, SLS for Vertex Cover — ‘COver Edges Ramdomly’, compact and efficient representations for SAT-based planning — ‘split-encoding’, decision-theoretic planning and (relational-)reinforcement learning with non-Markovian rewards — various Linear Temporal Logics. I’ve also done published research on aesthetic criteria in solving vehicle routing problems, and game-theoretic cost allocations in logistics.
|Fields of Research|
|University or Institution of affiliation||
Australian National University
|personal or institutional webpage|
|Interest in AFRAN?||
Academic/Industry Collaborations in France, Job / Funding opportunity in Australia