Skip to content

Wels · Austria — neuro-symbolic AI, verified systems

Marius-Constantin
Dinu.

I build AI systems that are held to a specification rather than trusted on output. A language model, used well, is a semantic parser: it turns intent into typed structure that a solver can actually check.

PhD in Artificial Intelligence under Sepp Hochreiter. Founder of ExtensityAI. Author of SymbolicAI. Currently building governed agent infrastructure at Alpha Omega Labs.

Revenue scaled from zero
EUR 1M+
Source: ExtensityAI, founded 2023 with no prior revenue: scaled past EUR 1M and profitable within its first year of trading, on a EUR 767k pre-seed. Founder record.

Trajectory

Research and shipping, at the same time — not in sequence.

Most CVs flatten a career into a list, which hides the part that matters. The doctorate, the industry research post, the company and the advisory role were not phases. They ran together.

Fig. 1 — Roles held, to scale Three roles ran concurrently, Mar 2023 to Sep 2024.
  • Kontron Dec 2010–Mar 2016
  • Siemens Corporate Research Mar 2016–Sep 2016
  • CELUM Oct 2016–Aug 2019
  • Imagine Kara LLC May 2018–Dec 2018
  • Johannes Kepler University — LIT AI Lab Sep 2019–Sep 2024
  • Dynatrace Research Oct 2021–Mar 2023
  • ExtensityAI FlexCo Mar 2023–Jun 2026
  • Atlas Apr 2023–Dec 2024
  • Alpha Omega Labs Jul 2026–now
  • Founded / led
  • Research
  • Advisory
  • Industry

Places

Where the work was done.

The chart above names them; this says what they are. Each row states the actual relationship — payroll, doctorate, co-authored paper, or a company of my own — and plays a capture of that organisation’s own site, because a logo tells you nothing about what a place builds.

Verifiable agent workflows, regulated industries

A neuro-symbolic AI company selling verifiable agent workflows into regulated industries — legal, finance and the public sector — where an answer that cannot be checked is not an answer.

Founded it, set the technical thesis, and architected the system that made multi-step generation reliable enough to sell. Zero to over EUR 1M in revenue, profitable in the first year, and named by Sifted / Financial Times among Europe's top 11 AI startups to watch.

extensity.ai

Production pipelines for game and film studios

A production pipeline for game and film studios: concept art in, production-ready 3D assets out, with the generation steps governed tightly enough that a studio can put them in a real pipeline.

Directed the applied research agenda across deep learning and reinforcement learning, advised leadership on model selection and build-versus-buy, and built production-facing prototypes from problem framing through evaluation to hand-off.

atlas.design

LIT AI Lab, under Sepp Hochreiter

One of Austria's principal research universities, and the home of the LIT AI Lab under Sepp Hochreiter — the group where LSTM originated.

Doctorate in Artificial Intelligence, passed with distinction, plus five years as a research scientist in the lab. Solved hyper-parameter selection in unsupervised domain adaptation, where no target labels exist to validate against: ICLR 2023 Oral, top 5%.

jku.at

The frontier lab behind xLSTM

A European frontier lab building xLSTM, a recurrent architecture positioned as an alternative to the Transformer for long-context and edge workloads.

Co-author on "Large Language Models Can Self-Improve at Web Agent Tasks", where NXAI is a shared title-page affiliation with Markus Hofmarcher and Sepp Hochreiter.

nx-ai.com

Inverse problems, Austrian Academy of Sciences

The Johann Radon Institute for Computational and Applied Mathematics, part of the Austrian Academy of Sciences — inverse problems, numerical analysis and mathematical foundations.

Co-author on the SymbolicAI paper (CoLLAs 2024) with Werner Zellinger, who carries the RICAM affiliation and co-supervised the doctoral work on regularisation and the balancing principle.

ricam.oeaw.ac.at

Ivy League NLP, Callison-Burch's group

An Ivy League research university whose NLP group, under Chris Callison-Burch, is among the longest-running in the field.

Co-author with Ajay Patel and Chris Callison-Burch on "Large Language Models Can Self-Improve at Web Agent Tasks" — self-improvement for agents acting in a live browser.

upenn.edu

Observability at enterprise scale

A software-intelligence platform for observability at enterprise scale: tracing, monitoring and automated root-cause analysis across large production estates.

Senior machine learning researcher at the LIT Open Innovation Center, building deep learning and NLP prototypes and working across research and product to move observability capabilities from paper to pipeline.

dynatrace.com

Digital asset management

A digital asset management product used by large product- and brand-centric organisations to run the content supply chain behind their marketing.

Developed and deployed deep-learning image classification for automated tagging inside the product — the feature that turns an unlabelled asset library into a searchable one.

celum.com

Corporate research, Princeton

The corporate research arm of Siemens in Princeton, New Jersey, where applied research is taken toward product across the group's industrial businesses.

Built a cross-platform handwritten-character recognition app combining SVMs and neural networks, with a C++ inference core bridged to Xamarin and the Android NDK through native interop.

siemens.com

Embedded computing and industrial IoT

An embedded-computing and IoT manufacturer supplying industrial hardware and the software that runs on it across Europe.

Led an international team delivering embedded and server software for self-service coin-counting devices, and designed the SOAP integration layer spanning Java and C#/.NET. Five years, ending as software architect and product manager.

kontron.com

Research

380 citations, and one recurring argument.

Published at ICLR, NeurIPS, ICML and CoLLAs. The through-line is verification: how to choose a hyper-parameter when you have no labels to validate against, how to assign credit from two demonstrations, how to make a generative model's output checkable rather than plausible.

h-index

8

i10-index

8

Best paper

ICLR 2023 Oral (top 5%)

Publications, patent and talks →

What others say

  • The work is brave (very much challenging a dominant paradigm), and novel. Without hesitation, I give it my highest recommendation.

    Gary Marcus

    Professor Emeritus · New York University

    Source: Published on the ExtensityAI website. Marcus was external examiner of the doctoral thesis.
  • What distinguishes Dr. Dinu is his remarkable ability to translate theoretical advances into practical impact while maintaining strong academic collaborations.

    Sepp Hochreiter

    Head, Institute for Machine Learning · JKU Linz · ELLIS Unit Linz

    Letter
    Source: Excerpt from a signed recommendation letter, 9 December 2024. Hochreiter supervised the doctorate.
  • He consistently demonstrated an ability to look beyond current paradigms, envisioning and implementing solutions that anticipate future developments in the field.

    Werner Zellinger

    AI Lab Manager · Linz Institute of Technology

    Letter
    Source: Excerpt from a signed recommendation letter, 9 December 2024. Zellinger was doctoral co-supervisor.
  • Interesting reading for those that are looking at the evolution of Symbolic AI methods.

    Pietro Leo

    Executive Architect · IBM

    Source: Published on the ExtensityAI website, from a LinkedIn post about the SymbolicAI paper.

Entries marked Letter are excerpts from signed recommendation letters written for academic applications, reproduced with permission. The remainder are public statements about the published research, reproduced from where they first appeared.

Get in touch

Looking for someone to own AI strategy and still read the code?