6 experts in "proofs" found:

Expert In:

• Probabilistically checkable proofs
• Proofs
• Approximating frequency
• Quantum computing

Expert In:

• Automatic proof checking
• Proof theory
• Computability over abstract algebras
• Computation logic theory

Expert In:

• Proof making in mathematics

Expert In:

• Proof systems
• Cryptography
• Mechanical design
• Secure protocols

Expert In:

• interactive proof systems
• Algorithms
• automata theory
• Combinatorics and graph theory

Expert In:

• Proof Complexity and Mathematical Logic
• Automated testing
• Computer security
• Formal methods