Investigadores

Master Student at the Department of Computer Science, Universidad de Chile. His tutors are Pablo Barceló and Jorge Pérez. His research areas are the analysis of the expressive capacity of algebra and logics.

Tutors: Pablo Barceló y Jorge Pérez.