Joan Espasa Arxer
Scholar

Joan Espasa Arxer

Google Scholar ID: g4H0JuYAAAAJ
University of St Andrews
Automated PlanningSchedulingSMTSATConstraint programming
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
175
 
H-index
7
 
i10-index
5
 
Publications
20
 
Co-authors
0
 
Resume
Research Experience
  • Lecturer in the AI group at the School of Computer Science, University of St Andrews.
Background
  • I am a Lecturer in the AI group at the University of St Andrews. My main research focus lies in Automated Planning, which is a central discipline of Artificial Intelligence. This area studies decision-making in a given environment to reach or optimise a goal. More concretely, my published work mainly lies in the intersection of Automated Planning, Constraint Satisfaction, Reformulation and applications of logic in computer science.