Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Michael John Caldwell Gordon (FRS 1994), 28 February 1948 -- 22 August
  2017   Michael Gordon was a pioneer in the field of interactive theorem proving and
hardware verification. In the 1970s, he had the vision of formally verifying
system designs, proving their correctness using mathematics and logic. He
demonstrated his ideas on real-world computer designs. His students extended
the work to such diverse areas as the verification of floating-point
algorithms, the verification of probabilistic algorithms and the verified
translation of source code to correct machine code. He was elected to the Royal
Society in 1994, and he continued to produce outstanding research until
retirement.
  His achievements include his work at Edinburgh University helping to create
Edinburgh LCF, the first interactive theorem prover of its kind, and the ML
family of functional programming languages. He adopted higher-order logic as a
general formalism for verification, showing that it could specify hardware
designs from the gate level right up to the processor level. It turned out to
be an ideal formalism for many problems in computer science and mathematics.
His tools and techniques have exerted a huge influence across the field of
formal verification.

25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
8
The categories of this paper are: hep-ex
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
32
The categories of this paper are: atom-ph
16
The categories of this paper are: stat
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
19
The categories of this paper are: eess
34
The categories of this paper are: chem-ph
35
The categories of this paper are: mtrl-th
5
The categories of this paper are: gr-qc
22
The categories of this paper are: chao-dyn
29
The categories of this paper are: funct-an
3
The categories of this paper are: physics