Buenos Aires, Distrito Federal, Argentina
Areas of Specialization
Logic and Information

I'm a postdoctoral researcher at UBA‘s Institute for Research in Computer Science and an associated member of UNIMI‘s LUCI Lab. I'm interested in tractable reasoning, automated and assisted deduction, logics in AI and CS, proof complexity and, generally, in the relation between logic and information. Currently, I'm defininig hierarchies of tractable depth-bounded approximations to non-classical logics, where the levels can be naturally related to the bounded inferential power of agents.