Theoretical Computer Science
Meta user
Network profile
326
reputation
2
10

François G. Dorais

Secretary, Treasurer & Moderator for MathOveflow

Department of Mathematics & Statistics, University of Vermont

2
answers
0
questions
~2k
people reached
  • Burlington, VT, United States
  • dorais.org
  • Member for 9 years, 2 months
  • 74 profile views
  • Last seen Oct 24 at 8:07

Communities (31)

Top Meta Posts
1
2

Top network posts

Top tags (6)

Score 14
Posts 1
Posts % 50
Score 14
Posts 1
Score 14
Posts 1
Score 14
Posts 1
Score 14
Posts 1
Score 7
Posts 1

Top posts (2) All Questions Answers | Votes Newest

14 Constructively efficient algorithms without efficient correctness and efficiency proof Apr 5 '13
7 Explicit mu-recursive expression for Ackerman function Jun 9 '11

Badges (12)

Gold

—

Silver

2

Rarest

Bronze

10

Rarest

View all badges →