Hello there! I'm Martín Muñoz.
I'm a PhD student at Pontificia Universidad Católica de Chile and a researcher at the IMFD.
I've also done some teaching, competitive programming and music.
Contact me at mmunos at uc dot cl. See my CV -> here.
Journal Publications
- With Cristian Riveros.
Constant-delay enumeration for SLP-compressed documents.
Logical Methods in Computer Science (Accepted, exp. 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 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
I've participated in TCS Stack Exchange (my account) and in the OEIS (link).
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.
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).