Computer Science
Profile Activity
Meta user
Network profile
831
reputation
5
7

phs

I am a senior researcher in computer science.
22
answers
0
questions
~22k
people reached
  • Paris, France
  • Member for 7 years, 10 months
  • 45 profile views
  • Last seen Apr 2 at 20:24

Communities (29)

Top network posts

Top tags (42)

Score 17
Posts 4
Posts % 18
Score 14
Posts 4
Score 13
Posts 3
Score 11
Posts 1
Score 11
Posts 1
Score 10
Posts 2
View all tags →

Top posts (22)

All Questions Answers
Votes Newest
11 Is Post Correspondence Problem in NP? Nov 16 '15
10 Class of the language only containing the empty string? Nov 25 '15
8 If the universe were predetermined, would non-deterministic automata still make sense? Nov 14 '15
5 if $\delta(q, a) = q$ for all symbols $a$, show that $\delta^* (q, w) = q$ is true for all strings $w$ Nov 12 '15
4 Few Big O example Jul 26 '13
3 The Absolute Minimum Every Software Developer Absolutely, Positively Must Know about Computer Science (No Excuses!) Jan 24 '14
3 Why use $\mu$-calculus and not LTL,CTL,CTL*? Nov 5 '13
2 Termination of a composition of terminating functions Dec 2 '16
2 What does it mean for a problem to be both NP hard and coNP hard Dec 2 '15
2 Proof for Transitivity of Weak Bisimulation ≈ Nov 30 '15
View all questions and answers →

Badges (12)

Gold

—

Silver

5

Rarest

Bronze

7

Rarest

View all badges →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.