Emacs
user avatar
user avatar
user avatar
Michaël
  • Member for 5 years, 6 months
  • Last seen this week
Profile Activity
Stats
314
reputation
4k
reached
6
answers
7
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
This user doesn’t have any gold badges yet.
1
silver badge
9
bronze badges
Top tags
View all tags
6
Score
6
Posts
46
Posts %
3
Score
2
Posts
15
Posts %
3
Score
2
Posts
15
Posts %
3
Score
1
Posts
8
Posts %
3
Score
1
Posts
8
Posts %
1
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
3
Misc-Fixed fonts and font height
Nov 10, 2016
answer
3
Org mode 20161102 Latex export: Images without {center} environment
Nov 15, 2016
answer
3
looking for a way/function to kill/delete alll whitespace/empty area in a region to start of line
Dec 25, 2016
question
2
Fontify shell commands in org example
Jan 1
answer
2
Display #+INCLUDE File Contents in Github README.org?
Jul 21, 2020
answer
1
how to paste with indent
Nov 16, 2019
question
1
Electric/smart parentheses: allow wrapping in a nontransient way
Nov 17, 2016
question
1
isearch-forward, call-interactively, and isearch-filter-predicate
Apr 19, 2018
question
1
org-mode: Use dvisvgm on HTML export of Babel LaTeX blocks
Jul 22, 2019
question
1
How to use face-remap-set-base to substitute a face for another?
Dec 15, 2020
Top network posts
View all network posts
48
An NP-complete variant of factoring.
32
find(1): how is the star wildcard implemented for it to fail on some filenames?
30
What papers should everyone read?
28
FO-definability of the integers in (Q, +, <)
23
Which recursively-defined predicates can be expressed in Presburger Arithmetic?

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.