A software innovation hub which brings cutting edge research from academia together with industry.

Petra Language

Petra, a new way to code Java and the first “Data-aware” programming language. Petra is a type-safe, general purpose, unique Petri-net / Workflow-net based embedded Java 8 DSL, that makes programming with state simple, safe and scalable.

About Us

Petra was born out of the need for highly reliable systems in financial trading. A single incorrect line of code can wreak havoc in critical systems. In order to keep ahead, competitive fields demand complex systems which can continuously adapt. Our mission is to reduce the cost of developing and testing such systems. Our approach is to develop tools which prevent common errors in programming sequential, parallel and distributed systems, and which automatically find errors which we can not eliminate upfront, so that these errors never hit production.

We innovate to zero.

Contact Us