The Stack Overflow podcast is back! Listen to an interview with our new CEO.

Profile Activity

Dmitri Chubarov

Network profile

Reputation

1,274

1.3k
1.1k
951

2016
2017
2018
2019

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

50 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 code-generation	1 satisfiability
12 terminology × 2	6 security	3 compilers	1 undecidability
10 algorithms × 3	5 optimization	3 incompleteness	1 filesystems
9 propositional-logic × 2	5 sets	3 digital-circuits	1 integrity
8 decision-problem	5 correctness-proof	2 automated-theorem-proving × 3	1 digital-preservation
8 equality	4 reference-request × 2	2 runtime-analysis × 2
7 first-order-logic × 6	4 parallel-computing × 2	2 computer-architecture

Computer Science Stack Exchange works best with JavaScript enabled