Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Meta User
Network Profile
196,859
reputation
15
185
349

Yuval Filmus

Assistant Professor in the Department of Computer Science at the Technion.

4,988
answers
8
questions
~3.6m
people reached

Communities (30)

Top Meta Posts
14
7

Top Network Posts

Top Tags (438)

Score 3,577
Posts 1,147
Posts % 23
Score 2,931
Posts 825
Score 1,449
Posts 439
Score 1,151
Posts 295
Score 1,020
Posts 299
Score 1,011
Posts 320
View all tags →

Top Posts (4,996) All Questions Answers | Votes Newest

219 Why is writing down mathematical proofs more fault-proof than writing computer code? Dec 11 '17
81 Keeping a String Secret in (Open) Source Code Oct 6 '14
63 Does $\mathsf{P} \ne \mathsf{NP}$ imply that $|\mathsf{NP}| > |\mathsf{P}|$? Dec 31 '12
62 Boolean search explained May 3 '16
56 Why is the Turing Machine a popular model of computation? May 11 '18
49 Example of an algorithm that lacks a proof of correctness Jan 31 '17
46 Why is $A \lor (A \land \neg B) \equiv A$? Oct 8 '17
40 Can Quantum Computing solve Problems not even a Turing Machine can solve? Jun 2 '16
39 Simple (non-mathematical) definition of polynomial time? Sep 23 '17
38 What is the definition of Computer Science, and what is the Science within Computer Science? Oct 15 '13
View all questions and answers →

Badges (549)

Gold

15

Rarest

Silver

185

Rarest

Bronze

349

Rarest

View all badges →