Computer Science
Meta user
Network profile
575
reputation
4
15

François

Apparently, this user prefers to keep an air of mystery about them.

12
answers
7
questions
~30k
people reached

Communities (4)

Top network posts

Top tags (41)

Score 18
Posts 5
Posts % 26
Score 10
Posts 1
Score 6
Posts 2
Score 5
Posts 3
Score 5
Posts 1
Score 2
Posts 3
View all tags →

Top posts (19) All Questions Answers | Votes Newest

10 How can I prove algorithm correctness? Jun 20 '15
6 Are syntax and semantic just 2 structures such that one is a model of the other? Aug 15 '15
5 Is there a research name for “systems that steadily grow in complexity as they are computed”? Aug 5 '15
4 Unprovable Post correspondence problem instance Mar 27 '15
3 Is it admited to give the complexity of a function regarding the resulting data structure? Apr 14 '16
3 Bipartite Matching in the Plane Jun 18 '15
3 I think I have a regular expression for a non-regular language Mar 29 '15
2 pseudo clique with at least connectivity x and maximum weight of the nodes Jul 23 '15
2 Turning a simple polygon with holes into exterior-bounded only Jun 19 '15
2 $A$ is finite, $B$ is NPC - When there's a polynomial reduction from $A$ to $B$? Jun 19 '15
View all questions and answers →

Badges (19)

Gold

—

Silver

4

Rarest

Bronze

15

Rarest

View all badges →