Tomer Libal

Tomer Libal is an Assistant Professor at the American University of Paris and a researcher at the University of Luxembourg, specializing in automated deduction and legal technology. He has over 20 years of experience in software development and research, and since 2018 has been collaborating on the development of the legal tech tool legAI app at the University of Luxembourg's Belval Campus.

• Primary Affiliation: American University of Paris (Assistant Professor)
• Secondary Affiliation: University of Luxembourg (Researcher)
• Research Focus: Automated deduction, software security, and legal technology integration

His work bridges formal methods in computer science with practical applications in legal technology, emphasizing trustworthy software systems development.