Christoph Haase
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Christoph Haase
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.