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: "A Benchmark Suite for Hybrid Systems Reachability Analysis"
  Abstract: Since about two decades, formal methods for continuous and hybrid systems enjoy increasing interest in the research community. A wide range of analysis techniques were developed and implemented in powerful tools. However, the lack of appropriate benchmarks make the testing, evaluation and comparison of those tools difficult. To support these processes and to ease exchange and repeatability, we present a manifold benchmark suite for the reachability analysis of hybrid systems. Detailed model descriptions, classification schemes, and experimental evaluations help to find the right models for a given purpose.

Connected through hyperedge HE-1 (induced by source paper "Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure"):
  with members:
    - "Efficient conflict driven learning in a boolean satisfiability solver"
    - "Over-subscription planning with boolean optimization: an assessment of state-of-the-art solutions"

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