Michaël Cadilhac

less info

network profile

1,227 reputation

623

bio	website	michael.cadilhac.name
	location	Montreal, Canada
	age	27
visits	member for	2 years, 9 months
	seen	Mar 5 at 0:14
stats	profile views	338

Ph.D. student in language theory and complexity theory.

summary answers questions tags badges favorites bounties reputation activity

12 Questions

votes activity newest

22	An NP-complete variant of factoring.
15	To what extent MSO = WS1S, when adding relations?
15	Completeness and Context-Sensitive Languages.
14	Which $AC^0$ problems are not “truly feasible” ?
14	Compared growth of the number of syntactic classes and Nerode classes.

view more

1,227 Reputation

+28	The regularity of Markov chains with a threshold
+10	(false?) proof for computability of a function
+5	Which $AC^0$ problems are not “truly feasible” ?
+5	Ehrenfeucht-Fraïssé games (Ajtai-Fagin in fact) for regular languages.

view more

11 Answers

votes activity newest

25	What papers should everyone read?
14	What videos should everybody watch?
13	(false?) proof for computability of a function
11	Finding a finite model
9	LogDCFL-complete problems

view more

28 Tags

29 computability × 5	9 complexity-classes
16 reference-request × 2	6 fl.formal-languages × 7
11 lo.logic × 3	5 grammars
11 finite-model-theory	1 automata-theory × 6
9 cc.complexity-theory × 5	1 ds.algorithms × 3

view more

8 Accounts

	Theoretical Computer Science	1,227 rep	623
$TeX - LaTeX Stack Exchange$	TeX - LaTeX	502 rep	29
$Mathematics Stack Exchange$	Mathematics	340 rep	113
	Area 51	201 rep	3
	Mathematica	151 rep	4

18 Badges

recent class name

Nice Question × 8	Popular Question
Yearling × 2	Nice Answer × 4
Good Answer	Taxonomist
Constituent	Quorum
Caucus	Scholar

view more

0 Active bounties

active offered earned

This user has no active bounties

54 Votes Cast

all time			by type
51	up		30	question
3	down		24	answer

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.24.702

Theoretical Computer Science Stack Exchange works best with JavaScript enabled