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.
- 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.
- Kontron
- Siemens Corporate Research
- CELUM
- Imagine Kara LLC
- Johannes Kepler University — LIT AI Lab
- Dynatrace Research
- ExtensityAI FlexCo
- Atlas
- Alpha Omega Labs
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.
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.aiA 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.designOne 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.atA 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.comThe 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.atAn 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.eduA 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.comA 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.comThe 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.comAn 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.comSystems
Things I built and still run.
Each of these is in production. The numbers come from the repositories, measured, not estimated.
-
Cortex
A governed control plane for AI agents
A private control tower that lets a company run AI coding agents from chat apps like Slack or Telegram — with rules about who may do what, a full audit trail, and one-click deployment of whatever the agents build.
- 182,600 lines
- 53
- 643
-
omegaXiv
Autonomous research platform
An online platform where AI agents actually run a scientific investigation end to end — planning it, executing code in isolated sandboxes, checking their own work against strict quality contracts, and publishing a finished, peer-reviewable paper.
- 613,600 lines
- 8,100 Python + 3,900 TS
- 9
-
SymbolicAI
Open-source neuro-symbolic framework
An open-source framework that combines language models with mathematical solvers, so a complex task breaks into small steps that can each be checked for correctness instead of trusted.
- 1,745
- 91
- 49
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.
8
8
ICLR 2023 Oral (top 5%)
What others say
-
The work is brave (very much challenging a dominant paradigm), and novel. Without hesitation, I give it my highest recommendation.
Source: Published on the ExtensityAI website. Marcus was external examiner of the doctoral thesis.
Gary Marcus
-
What distinguishes Dr. Dinu is his remarkable ability to translate theoretical advances into practical impact while maintaining strong academic collaborations.
Source: Excerpt from a signed recommendation letter, 9 December 2024. Hochreiter supervised the doctorate.LetterSepp Hochreiter
-
He consistently demonstrated an ability to look beyond current paradigms, envisioning and implementing solutions that anticipate future developments in the field.
Source: Excerpt from a signed recommendation letter, 9 December 2024. Zellinger was doctoral co-supervisor.LetterWerner Zellinger
-
Interesting reading for those that are looking at the evolution of Symbolic AI methods.
Source: Published on the ExtensityAI website, from a LinkedIn post about the SymbolicAI paper.
Pietro Leo