<- me in 2022.

Hello there! I'm Martín Muñoz.

I'm a Postdoc at CNRS-CRIL based in University of Artois, Lens.

I've also done some teaching, competitive programming and music.

Contact me at munoz at cril dot fr. See my CV, and my DBLP page.

Journal Publications

• With Cristian Riveros. Constant-delay enumeration for SLP-compressed documents. Logical Methods in Computer Science Vol. 21, Issue 1 (2025). [pdf]
• With Cristian Riveros. Streaming Enumeration on Nested Documents. ACM Transactions on Database Systems, Vol. 49, Issue 4 (2024). [pdf]
• With Marcelo Arenas and Cristian Riveros. Descriptive Complexity for Counting Complexity Classes. Logical Methods in Computer Science Vol. 16, Issue 1 (2020). [pdf]

Conference Publications

• With Sebastian Hagedorn Gaete, Cristian Riveros and Rodrigo Toro Icarte. Active Learning of Symbolic Automata Over Rational Numbers. To appear in AAAI 2026.
• With Cristian Riveros. Constant-delay enumeration for SLP-compressed documents. ICDT 2023.
• With Antoine Amarilli, Louis Jachiet and Cristian Riveros. Efficient enumeration for annotated grammars. PODS 2022. [pdf]
• With Cristian Riveros. Streaming enumeration on nested documents. ICDT 2022.
• With Marcelo Arenas and Cristian Riveros. Descriptive Complexity for Counting Complexity Classes. LICS 2017.

Miscellaneous research

Teaching

I've taught five semesters at PUC Chile: Data Structures (once) and Workshop on Competitive Programming (four times).

Competitive Programming

I was coach of the Competitive Programming Team at PUC Chile (See the guys here (in Spanish)). One of our teams qualified for the ICPC World Finals (twice) 🎉

I'm part of the ProgCompCL organization and have organized+taught at open competitive programming training camps in Chile.

I'm an active competitor in online events, especially in CodeForces. My username is martins.

I was a problem author at the 2025 ICPC Latin American Regionals (link), and at the ICPC Chilean Programming Tournament (2024 and 2025)

Music

I've been keyboardist, composer and arranger in some short-lived bands since 2009. The last one was called Vendimia; we released an EP in 2018 (Spotify, YouTube).