Dr. Andrés Occhipinti Liberman is an Assistant Professor at the ICAI School of Engineering , Comillas Pontifical University , in the Department of Telematics and Computer Science . He teaches Natural Language Processing and Foundations of Artificial Intelligence , focusing on improving large language models' reasoning and planning capabilities . His research explores how autonomous agents can develop internal environmental representations for planning, with a foundational interest in planning algorithms and mathematical logic . Education Ph.D. in Artificial Intelligence and Logic, Technical University of Denmark (2020) M.Sc. in Logic, University of Amsterdam M.Sc. in Development and International Aid, Complutense University B.A. in Philosophy, Universidad Autónoma de Madrid His work bridges epistemic logic with machine learning , particularly in dynamic term-modal logic for social network analysis and planning. Recent publications examine partially observable domains , grounded representations , and decidability in epistemic systems . He previously served as a postdoc at Universitat Pompeu Fabra in the EU project RLeap and as an external lecturer at DTU. Key article trends include: (1) epistemic planning using first-order logic , (2) dynamic logic frameworks for social networks, and (3) knowledge grounding in reinforcement learning. No formal scientific awards are listed in the provided text. His current research at IIT (Institute for Research in Technology) involves theory-of-mind agents and symbolic planning representations .






