Profile Activity

Dmitri Chubarov

Network profile

Reputation

1,309

1.3k
1.1k
951

2017
2018
2019
2020

Top tag

logic

Next privilege

2,000 Rep.

Edit questions and answers

Badges

6

12

Newest

Explainer

Next badge

0/1

Impact

4 posts edited

0 helpful flags

136 votes cast

Summary Answers Questions Tags Badges Favorites Bounties Reputation All actions

46 Tags

51 logic × 12	7 algorithm-analysis × 3	4 halting-problem	1 integer-programming
21 computability × 3	7 master-theorem	4 computer-networks	1 linear-programming
13 constraint-programming	7 asymptotics	4 routing	1 natural-language-processing
13 prolog	7 recurrence-relation	4 complexity-theory	1 machine-learning
13 logic-programming	6 cryptography	4 church-turing-thesis	1 loops
12 proof-techniques × 2	6 authentication	3 automated-theorem-proving × 3	1 satisfiability
12 terminology × 2	6 security	3 incompleteness	1 undecidability
10 algorithms × 3	5 optimization	3 digital-circuits	1 filesystems
9 propositional-logic × 2	5 sets	3 code-generation	1 integrity
8 first-order-logic × 6	5 correctness-proof	3 compilers	1 digital-preservation
8 decision-problem	4 reference-request × 2	2 runtime-analysis × 2
8 equality	4 parallel-computing × 2	2 computer-architecture

Computer Science Stack Exchange works best with JavaScript enabled