Miguel Calejo
Adviser
Leading expert in symbolic AI and computational logic.
More than 30 years developing rule-based systems and reasoning engines.
The people behind Inveena
At the forefront of computable contracts.
At the foundations of logic programming.
Bringing the realities of law and capital markets together with decades of work in symbolic AI and computational logic.
Founder
Ciarán McGonagle
Founder of Inveena
Former ISDA legal lead on smart derivatives and digital assets.
His experience spans law, product and capital markets infrastructure, with a deep network across banks, financial market infrastructures and standards bodies.
Advisers
Decades of leadership
in computational logic.
Professor Bob Kowalski
Adviser
Professor Emeritus, Imperial College London.
Founding pioneer of logic programming and computational logic.