BT天堂

Professor Libal joined The American University of Paris in 2016. His previous positions were in Inria (French Institute for Research in Computer Science and Automation) and Ecole Polytechnique. In 2020, Libal has taken a leave to join the Individual and Collective Reasoning lab in Luxembourg, in order to focus on his work in legal informatics.

After obtaining his BSc in Computer Science and Mathematics from the Hebrew University of Jerusalem in 2001, Libal has spend several years working as a Java team leader for the start-up company Quigo. In 2008 he obtained a double MSc degree in Computational Logic from the technical universities of Madrid, Spain and Vienna, Austria as an Erasmus Mundus scholarship holder. In 2012 he obtained his PhD from the technical university of Vienna with a thesis on Higher-order Automated Deduction.

Libal's research is currently mainly focused on automated legal reasoning and has resulted in publications in various venues (including a best paper award) and software. He has recently received a grant from the Luxembourg National Research Fund for developing further this research.

Previously, Libal's research has focused on BestHigher-order Automated Deduction and especially on variants of higher-order unification. Other topics include Formal Verification and Proof Certification of classic and modal logics. During his professional career, Libal has conducted both theoretical research and implemented tools and software.