This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Christoph Haase
A grouping.
Decision problems and their cost: subclasses of Presburger arithmetic and the weak EXP hierarchy, a survival guide to Presburger arithmetic, and foundations for decision problems in separation logic with general inductive predicates. Presburger arithmetic is the standard yardstick for what an arithmetic theory costs to decide, and this is the one person in the corpus working on both that and the separation-logic decidability question. Not to be confused with Werner Haas, who has a page of his own here on Meltdown and Spectre -- the surnames differ by one letter and a fuzzy search returns both.
3 references
A survival guide to Presburger arithmetic
Christoph Haase (2018) · ACM SIGLOG News · Association for Computing Machinery
Foundations for Decision Problems in Separation Logic with General Inductive Predicates
Timos Antonopoulos and others (2014) · Foundations of Software Science and Computation Structures · Springer
Subclasses of Presburger arithmetic and the weak EXP hierarchy
Christoph Haase (2014) · Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) · Association for Computing Machinery