Home
Daily Holiday
Daily Random
How It Works
Archive

Daily Trivia

1) What is Christoph Walther known for in the field of computer science?

a) Walther recursion b) Artificial Neural Networks c) Quantum computing d) Blockchain technology

2) At which university did Christoph Walther complete his thesis?

a) MIT b) Stanford University c) Oxford University d) Karlsruhe University

3) What is the title of Christoph Walther's thesis completed in 1984?

a) A Many-Sorted Calculus Based on Resolution and Paramodulation b) The Theory of Relativity c) Advanced Algorithms in Machine Learning d) Introduction to Quantum Computing

4) Which university is Christoph Walther Professor Emeritus at?

a) Harvard University b) Darmstadt University of Technology c) Yale University d) University of Cambridge

5) When was Christoph Walther born?

a) 9 August 1950 b) 30 March 1940 c) 22 November 1978 d) 15 May 1965

6) Which of the following is a publication by Christoph Walther?

a) Quantum Mechanics for Dummies b) Blockchain 101 c) Reusing Proofs d) Introduction to Data Science

7) Which symposium did Walther present 'Adaption of Proofs for Reuse' at?

a) Artificial Intelligence and Machine Learning Symposium b) AAAI 1995 Fall Symposium on Adaption of Knowledge for Reuse c) Symposium on Blockchain Technology d) International Symposium on Quantum Computing

8) What is the name of the verification system Christoph Walther worked on?

a) BlockSafe b) SecureNet c) AutoVerify d) VeriFun

9) Which journal published Christoph Walther's work on 'Automatisches Beweisen'?

a) Springer b) Elsevier c) Addison-Wesley d) Oxford University Press

10) Christoph Walther collaborated with which author for the publication 'Proof Management and Retrieval'?

a) Marie Curie b) Thomas Kolbe c) Stephen Hawking d) Albert Einstein

Quiz Result

See more information on this topic!

Quiz Result

Trivia Academy

"Know that you don't know. That is superior." -Lao Tzu

How It Works
Play The Archive
Contact