Stack Exchange
sign up | log in |

Theoretical Computer Science
  • Questions
  • Tags
  • Tour
  • Users
  • Ask Question

François G. Dorais

less info
meta site favicon meta user | stack exchange network profile network profile
241 reputation
18
bio website mathoverflow.net/users/2000
location Hanover, NH
age 37
visits member for 2 years, 9 months
seen yesterday
stats profile views 35

Mathematician and MathOverflow moderator.
241 reputation
 bio website mathoverflow.net/users/2000 visits member for 2 years, 9 months
18 badges
 location Hanover, NH seen yesterday
summary answers questions tags badges favorites bounties reputation activity

2 Answers

votes activity newest
12
 Constructively efficient algorithms without efficient correctness and efficiency proof
2
 Explicit mu-recursive expression for Ackerman function

241 Reputation

+120 Constructively efficient algorithms without efficient correctness and efficiency proof
+20 Explicit mu-recursive expression for Ackerman function

0 Questions

votes activity newest
This user has not asked any questions

6 Tags

12
proof-complexity
12
cc.complexity-theory
12
reference-request
12
constructive-mathematics
12
lo.logic
2
computability

17 Accounts

Mathematics Stack Exchange Mathematics 2,600 rep 1023
Theoretical Computer Science Stack Exchange Theoretical Computer Science 241 rep 18
Area 51 Area 51 201 rep 4
Stack Overflow Stack Overflow 101 rep 1
Meta Stack Overflow Meta Stack Overflow 101 rep 2
stack exchange network profile view more

9 Badges

recent class name
 Nice Answer  Teacher
 Yearling  Precognitive
 Critic  Supporter
 Commentator  Autobiographer
 Quorum

0 Active bounties

active offered earned
This user has no active bounties

39 Votes Cast

all time   by type  
39 up 12 question
0 down 27 answer
user feed
about faq badges blog chat data legal privacy policy jobs advertising info mobile contact us feedback
Technology Life / Arts Culture / Recreation Science Other
  1. Stack Overflow
  2. Server Fault
  3. Super User
  4. Web Applications
  5. Ask Ubuntu
  6. Webmasters
  7. Game Development
  8. TeX - LaTeX
  1. Programmers
  2. Unix & Linux
  3. Ask Different (Apple)
  4. WordPress Answers
  5. Geographic Information Systems
  6. Electrical Engineering
  7. Android Enthusiasts
  8. IT Security
  1. Database Administrators
  2. Drupal Answers
  3. SharePoint
  4. User Experience
  5. Mathematica
  6. more (14)
  1. Photography
  2. Science Fiction & Fantasy
  3. Seasoned Advice (cooking)
  4. Home Improvement
  5. more (13)
  1. English Language & Usage
  2. Skeptics
  3. Mi Yodeya (Judaism)
  4. Travel
  5. Arqade (gaming)
  6. Bicycles
  7. Role-playing Games
  8. more (22)
  1. Mathematics
  2. Cross Validated (stats)
  3. Theoretical Computer Science
  4. Physics
  5. more (7)
  1. Stack Apps
  2. Meta Stack Overflow
  3. Area 51
  4. Stack Overflow Careers
site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required
rev 2013.5.22.697