Mauricio Martel is a logician and computer scientist working as postdoctoral researcher at the University of Gothenburg, Sweden. His research interests are centered around the use of logic in computer science, both from a theoretical and practical perspective. He has worked with decidability and computational complexity problems in modal logics, description logics, and some generalizations thereof in first-order logic, using a combination of techniques from model theory and automata theory. He is currently working in the area of synthesis of computational systems, where his main area of focus is distributed synthesis for multi-agent systems. The goal of his research is to develop theoretical foundations that enable to apply reactive synthesis from temporal specifications to work for multiple agents. This includes studying two-player games and their solutions, modelling solutions for interacting agents, and studies of tree automata, temporal logic, and modal logic.
- Theoretical Foundations of Computer Systems, Spring 2021. Visiting Graduate Student.