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
- Legal Informatics Startup
- Ethical and accurate chatbots for legal professionals
- Pro-bono chatbots addressing legal problems of the public in Luxembourg and beyond
- Demo - GDPR Bot in collaboration with the University of 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