Assistant professor of computer science at DePaul University.
Theoretical computer sciencist. Main interests in language theory, circuit complexity, algebraic language theory, and descriptive complexity.
- Theoretical Computer Science 3.8k 3.8k 1919 silver badges3737 bronze badges
- TeX - LaTeX 1.2k 1.2k 88 silver badges1818 bronze badges
- Mathematics 934 934 77 silver badges1818 bronze badges
- MathOverflow 756 756 33 silver badges1212 bronze badges
- Unix & Linux 674 674 55 silver badges1616 bronze badges
- View network profile
Top network posts
- 46 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?
- 19 What videos should everybody watch?
- 19 To what extent MSO = WS1S, when adding relations?
- View more network posts →