A software innovation hub which brings cutting edge research from academia together with industry.
Petra is a new programming paradigm and programming language. Petra has a Java 8 implementation, which is a type-safe, general purpose, embedded style language, that makes object-oriented, parallel, distributed programming simple, safe and scalable.
https://github.com/ah1m20/petra-java-verifier
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.