All visitors
The record
Twenty-five years across research, industry, and the classroom. The rare combination behind everything I offer: formal software verification and modern AI, each practised at the highest level, and a career spent teaching both.
Record
Career
Now
AI trainer
2016 – present
Digital Learning Hub, House of Training, and private organisations, Luxembourg
- AI literacy and adoption programmes for professional and public sector teams, with documented outcomes
- 9.13/10 learner satisfaction, 4.0/4 trainer rating
AI transition manager and fractional AI officer
2025 – present
Independent, Luxembourg and beyond
- Defined engagements that solve an AI problem end to end and leave the team independent
Co-founder and CEO
2023 – present
Enidia AI, Luxembourg
- Verification-first, on-premise AI for regulated industries
- Clients include a top-10 international law firm; production document review cut from about 25 hours to about 4
Research and academia
Assistant professor, tenured
2016 – 2024
The American University of Paris
- Designed and launched the university's first Data Science programme, modelled on UC Berkeley
- Taught 40+ courses across computer science, mathematics, statistics, and AI ethics
Principal investigator
2020 – 2025
University of Luxembourg
- Principal investigator of more than 600,000 euros in public funding, including an FNR CORE grant
- Led the access-to-justice line: AI that helps lay users navigate the law
Postdoctoral researcher
2012 – 2016
Microsoft Research – Inria Joint Centre, Paris
- Software verification and proof assistants, in the teams of Leslie Lamport and Dale Miller
Earlier industry and education
Programming team lead
2001 – 2006
Quigo Technologies, New York
- R&D lead at an AI-driven advertising startup, acquired by AOL for about 360 million dollars
Ph.D. and M.Sc., computer science
2006 – 2012
Technical University of Vienna
B.Sc., mathematics and computer science
1998 – 2001
Hebrew University of Jerusalem
36
peer-reviewed publications, with a best-paper award
402
citations · h-index 12
€600k+
public research funding as principal investigator
EU evaluator
Horizon and Marie Skłodowska-Curie Actions · journal reviewer · PhD examiner
Media and speaking
On record
Selected press, interviews, and invited talks.
DLA Piper IP Forum
Invited speaker on digital transformation in law firms
panel
Silicon Luxembourg
The State of AI, with Simmons & Simmons: expert for technical aspects of AI
panel
RTL · The Elevator
Pitching Enidia AI on RTL's startup show, episode 30
tv
Research Luxembourg
In conversation with our sciencepreneurs: supporting the legal profession with AI
interview
University of Luxembourg
AI legal assistant for patent law launched at the University of Luxembourg
news
The Legal Wire
Has the hallucination problem been solved?
article
science.lu
Wie Künstliche Intelligenz das Rechtssystem verändert
de
science.lu
Comment l'intelligence artificielle transforme le système juridique
fr
science.lu
Der EU AI Act: Motor oder Bremse für Forschung und Innovation?
de
Luxemburger Wort
Mobilität der Zukunft: advising on symbolic AI in autonomous cars
de
LegalTech Talk
On the release of the patent law legal assistant
article
In their words
From the classroom
Learner feedback from courses at the Digital Learning Hub, Luxembourg.
The teacher was so knowledgeable, and I liked how the theory connected to real application.
AI Foundations: Math & Python Essentials
It was interactive and project based, and anyone could pick up the knowledge quickly and apply it straight away.
AI Foundations: Math & Python Essentials
I liked the smart way it was explained, especially the part about AI agents.
Mastering Prompt Engineering with Mistral
Start with a 30-minute call
No form, no pitch. From first call to proposal in three steps, and the first two cost you nothing.
01
Intro call
You describe your situation. I tell you honestly whether I can help, and what I would look at first.
02
Working session
We go deep on one concrete workflow. You leave with a specific recommendation, whether or not we continue.
03
Proposal
A defined scope, timeline, and price. No obligation at any earlier step.
Or write directly: tomer@libal.info