Joan Espasa Arxer

Joan Espasa Arxer


  • KY16 9SS

    United Kingdom

Accepting Postgraduate Research Students

PhD projects

Boolean Satisfiability (SAT);
Satisfiability Modulo Theories (SMT);
Classical and Numeric AI Planning;
Planning as Satisfiability;
Constraint Programming;
Automated reformulation of models;
Formal Languages and their expressivity;
Applications of Logic to Computer Science

Personal profile

Research overview

I am a Lecturer in the AI group. 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. These problems are ubiquitous in industry and science, where they appear in logistics, chemistry or even network security, just to name a few. More concretely, my published work mainly lies in the intersection of Automated Planning, Constraint Satisfaction, Reformulation and applications of logic in computer science.

Research interests

My main research interests are, including but not limited to:

  • Classical and Numeric AI Planning
  • Boolean Satisfiability (SAT)
  • Satisfiability Modulo Theories (SMT)
  • Planning as Satisfiability
  • Constraint Programming
  • Scheduling
  • Automated reformulation of models
  • Formal Languages and their expressivity
  • Applications of Logic to Computer Science

Teaching activity

  • CS4402 - Constraint Programming
  • CS4303 - Videogames

I also supervise projects at a variety of levels across our school.

Profile Keywords

Automated Planning, Classical Planning, Numeric Planning, Scheduling, Boolean Satisfiability, Satisfiability Modulo Theories, SAT, SMT, Planning as SAT, Constraint Programming, CP, Automated reformulation


Dive into the research topics where Joan Espasa Arxer is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or