Tomer Libal

Ethical AI and Law

About

I am a researcher, instructor, software engineer and entrepreneur with extensive experience both in the industry and the academy. For the last two years, I have been working as Founder CEO and CTO on Enidia AI, a startup creating ethical legal chatbots.

Education

B.Sc. in Computer Sciences

1998 - 2001

Hebrew University of Jerusalem, Israel

M.Sc in Computer Sciences

2006 - 2008

Technical University of Vienna, Austria

Technical University of Madrid, Spain

Master Thesis: Cut Elimination in Inductive Proofs of Weakly Quantified Theorems

Ph.D. in Computer Sciences

2006 - 2008

Technical University of Vienna, Austria

Ph.D. Thesis - Unification in Higher-order Resolution

Industry Experience

Programming Team Lead

2001 - 2006

Quigo Technologies, New York, USA

  • In charge of a Big Data team developing search marketing solutions
  • The company was merged into AOL

Java Programmer

1998 - 2001

Surfnotes and VerticalNet Solutions, Jerusalem, Israel

  • Was employed as an OOP consultant to a formal text book used by computer students in Israel

Academic Experience

Research Scientist

2020 - present

University of Luxembourg, Luxembourg

  • Teaching courses in the BiCS and MiCS program
  • Principal Investigator of the FNR-funded PaCT, iComplai and Exaile projects

Assistant Professor

2016 - present

The American University of Paris, France

  • Teaching courses on data mining, web development, software engineering, programming and other topics

Postdoctoral Researcher

2012 - 2017

Microsoft Research - Inria Joint Center, France

  • Research and software development in TLA, Parsifal and Prosecco teams
  • Teaching assistant and thesis supervisor for various courses and students
  • Within the teams of Leslie Lamport, Damien Doligez and Dale Miller

Project Assistant

2008 - 2012

Theory and Logic Group - TUW, Austria

  • Researching algorithms for higher-order unification and resolution
  • Within the team of Alexander Leitsch

Entrepreneurship

Founder CEO and CTO

2021 - present

Enidia AI, Luxembourg

Facts

Some milestones and achievements.

Peer-reviewed publications

Grants received (in €1,000)

Open source (in 1000 lines of code)

Courses taught

Activities

.

Teaching

Since 2015, I have been teaching 31 undergraduate and graduate courses in Ecole Polytechnique in Palaiseau, The American University of Paris and The University of Luxembourg

Publications

I have authored or co-authored with one other researcher 26 peer-reviewed papers in journals such as Frontiers in Artificial Intelligence, Annals of Mathematics and Artificial Intelligence and conferences such as the International Conference on Artificial Intelligence and Law and the International Conference on Legal Knowledge and Information Systems.

FNR projects

I am the principal investigator of the FNR CORE ExAIle project, with a funding of €401,000 until April, 2025. I was the principal investigator of the FNR projects PaCT and iComplai, with a total funding of €221,100. ExAile is a collaboration with Aleksander Smywiński-Pohl from the AGH University of Science and Technology in Krakow. During the project we are investigating how to use court decisions as examples for legal guidance.

The LegAi Assistant Project

I am harnessing the novel ethical technology developed by Enidia AI to create, in collaboration with the university of Luxembourg, pro-bono legal chatbots in various legal domains, with the goal of helping the public in Luxembourg and beyond have better access to justice. A GDPR pro-bono ethical legal chatbot is available

Enidia AI

In 2021, I have founded Enidia AI. Enidia AI aims at creating ethical chatbots which can be used for providing legal advice and other legal tasks. These chatbots are based on the novel approach of cognitive AI.

Academic community

I am an active reviewer in the Formal Logic and AI and Law communities, as well as a reviewer for European projects and the American Mathematical Society. One of the papers I have co-authored has won the best-paper award. I have been supervising three PhD students and numerous master and bachelor students in their theses and projects. I was invited to speak in various conference and workshop events

Media Center

  • All
  • Programs
  • Items
  • Web

Conversation with Research Luxembourg

Supporting the legal profession by exploring the potential of AI

Ein Gespräch mit science.lu

Wie Künstliche Intelligenz das Rechtssystem verändert

Un entretien avec science.lu

Comment l'intelligence artificielle transforme le système juridique

Der EU AI Act: Motor oder Bremse für Forschung und Innovation?

Das erste Gesetz weltweit zur Regulierung Künstlicher Intelligenz ist auf dem Weg: der EU AI Act der Europäischen Union. Drei wissenschaftliche Experten erläutern, was sie von dem Regelwerk halten

The Elevator 30: Tomer Libal, Founder & CEO of Enidia AI

Pitching Enidia.ai in an RTL "The Elevator" episode

Contact


Powered byFormbold Logo