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

phs

I am a senior researcher in computer science.
22
answers
0
questions
~21k
people reached
  • Paris, France
  • Member for 7 years, 7 months
  • 42 profile views
  • Last seen Dec 11 '20 at 21:59

Communities (29)

Top network posts

Top tags (42)

Score 17
Posts 4
Posts % 18
Score 13
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 Proof for Transitivity of Weak Bisimulation ≈ Nov 30 '15
2 Do recursive algorithms generally perform better than their for-loop counterpart? Sep 9 '15
View all questions and answers →

Badges (12)

Gold

—

Silver

5

Rarest

Bronze

7

Rarest

View all badges →