<- 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 received a degree of Doctor from Pontificia Universidad Católica de Chile in 2025. My Thesis -> [pdf]

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. AAAI 2026. [pdf]
• 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.

Preprints

• with Antoine Amarilli, Wolfgang Gatterbauer, Neha Makhija and Mikaël Monet. Resilience for Regular Path Queries: Towards a Complexity Classification. [link]

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 organization progcompCL 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).