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: "Formal Verification of Gate-Level Computer Systems"
  Abstract: We present the formal verification of a gate-level computer system, in which a complex processor and external devices run in parallel. The system specification is an instruction set architecture with concurrently running visible devices. To the best of our knowledge this is the first formal treatment of integrating devices into a gate-level computer system.

Connected through hyperedge HE-1 (induced by source paper "The Verisoft Approach to Systems Verification"):
  with members:
    - "Lyrebird: assigning meanings to machines"

Connected through hyperedge HE-2 (induced by source paper "Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems."):
  with members:
    - "Efficient conflict driven learning in a boolean satisfiability solver"
    - "Learning partially observable deterministic action models"

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