Anders Schlichtkrull

Computer Science

1. Soundness 100%
2. Theorem Prover 71%
3. Sequent Calculus 66%
4. Proof System 66%
5. User 61%
6. Programs 54%
7. Computer Science 38%
8. Cybersecurity 33%
9. Algorithms 33%
10. Protocol Verification 33%
11. Specification Language 33%
12. Protocol Specification 33%
13. Survey 33%
14. Automated Reasoning 33%
15. Natural Deduction 33%
16. Semantic Tableau 33%
17. Tableau Calculus 33%
18. Proof Technique 33%
19. Live-Coding 33%
20. Transition System 33%
21. high-order logic 33%
22. Active Learning 33%
23. Distributed Ledger 22%
24. Pushdown Automaton 16%
25. Standards 15%
26. Automaton 13%
27. Identity Model 11%
28. Trust Infrastructure 11%
29. Credentials 11%
30. Distributed Ledger Technology 11%
31. Metatheory 11%
32. Program Analysis 9%
33. Recursive Computation 8%
34. Core Component 8%
35. Static Program Analysis 8%
36. Executable Program 8%
37. Model Checking 8%
38. Debugging 8%
39. introductory programming course 8%