Stack Exchange Network

Stack Exchange network consists of 174 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
187,868
reputation
12
177
339

Yuval Filmus

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

4,748
answers
8
questions
~3.2m
people reached
  • Haifa, Israel
  • cs.toronto.edu/~yuvalf
  • Member for 6 years, 8 months
  • 16,506 profile views
  • Last seen 4 hours ago

Communities (30)

Top Meta Posts
10
7

Top Network Posts

Top Tags (430)

Score 3,383
Posts 1,086
Posts % 23
Score 2,850
Posts 801
Score 1,384
Posts 415
Score 1,119
Posts 281
Score 1,042
Posts 272
Score 972
Posts 281
View all tags →

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

216 Why is writing down mathematical proofs more fault-proof than writing computer code? Dec 11 '17
80 Keeping a String Secret in (Open) Source Code Oct 6 '14
62 Boolean search explained May 3 '16
62 Does $\mathsf{P} \ne \mathsf{NP}$ imply that $|\mathsf{NP}| > |\mathsf{P}|$? Dec 31 '12
54 Why is the Turing Machine a popular model of computation? May 11
48 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 (528)

Gold

12

Rarest

Silver

177

Rarest

Bronze

339

Rarest

View all badges →