Theoretical Computer Science
Michaël Cadilhac's user avatar
Michaël Cadilhac's user avatar
Michaël Cadilhac's user avatar
Michaël Cadilhac
  • Member for 12 years, 1 month
  • Last seen more than a week ago
Profile Activity
Stats
3,916
reputation
252k
reached
20
answers
20
questions
Communities
View all
About

Assistant professor of computer science at DePaul University.

Theoretical computer sciencist. Main interests in language theory, circuit complexity, algebraic language theory, and descriptive complexity.

Badges
View all badges
This user doesn’t have any gold badges yet.
21
silver badges
38
bronze badges
Top tags
View all tags
54
Score
16
Posts
40
Posts %
53
Score
12
Posts
30
Posts %
51
Score
9
Posts
22
Posts %
36
Score
5
Posts
12
Posts %
34
Score
7
Posts
18
Posts %
19
Score
5
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
48
An NP-complete variant of factoring.
Feb 7, 2011
answer
30
What papers should everyone read?
Sep 12, 2010
answer
20
What videos should everybody watch?
Sep 12, 2010
question
19
To what extent MSO = WS1S, when adding relations?
Aug 16, 2010
question
17
Which $AC^0$ problems are not "truly feasible"?
Sep 1, 2010
question
16
Compared growth of the number of syntactic classes and Nerode classes.
Aug 17, 2010
question
16
Completeness and Context-Sensitive Languages.
Oct 3, 2010
answer
16
(False?) proof for computability of a function?
Oct 6, 2010
answer
15
Regular language that discriminates between two deterministic CFGs
Dec 16, 2017
answer
14
Finding a finite model
Apr 13, 2011
Top network posts
View all network posts
32
find(1): how is the star wildcard implemented for it to fail on some filenames?
29
FO-definability of the integers in (Q, +, <)
23
Which recursively-defined predicates can be expressed in Presburger Arithmetic?
18
For a linear recurrence sequence $(u_n)_{n\geq 0}$, can $\{i \mid u_i > 0\}$ be the set of Fibonacci numbers?
15
Rotate a node but not its content: the case of the ellipse decoration

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.