Tomer Libal

is a researcher at the University of Luxembourg. Libal's research is focused on Automated Deduction and especially on applications to law. If you have any questions, propositions or would like to participate in its development, please contact Tomer Libal.

Contact Info

tomer.libal@uni.lu