human: Given a node-centered hypergraph: <hypergraph>, where nodes represent authors and hyperedges represent groups of authors who co-authored the same paper.

Details of the hypergraph:
Center node: "Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation"
  Abstract: We propose a new approach for producing precise constrained slices of programs in a language such as C. We build upon a previous approach for this problem, which is based on term-rewriting, which primarily targets loop-free fragments and is fully precise in this setting. We incorporate abstract interpretation into term-rewriting, using a given arbitrary abstract lattice, resulting in a novel technique for slicing loops whose precision is linked to the power of the given abstract lattice. We address pointers in a first-class manner, including when they are used within loops to traverse and update recursive data structures. Finally, we illustrate the comparative precision of our slices over those of previous approaches using representative examples.

Connected through hyperedge HE-1 (induced by source paper "Abstract non-interference: parameterizing non-interference by abstract interpretation"):
  with members:
    - "Semantics and Program Analysis of Computationally Secure Information Flow"
    - "Language-based information-flow security"
    - "Automatic Testing of Access Control for Security Properties"

Question: Please tell me which research area the center author belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science