Mauricio Martel

Mauricio Martel is a logician and computer scientist working as postdoctoral researcher at the University of Gothenburg in Sweden. His research interests are centered around logic in computer science and artificial intelligence, 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 with synthesis of reactive 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 generalize reactive synthesis of single computational systems to distributed systems that involve multiple agents. This includes studying two-player games and their solutions, modelling solutions for interacting agents, and studies of tree automata, temporal logic, and epistemic logic.