Menu
BUIDLING ? yes
Code Name: MAXI-MIN

Developing algorithmically energy efficient solutions for Blockchain computation.

Use cases:

Blockchain related computation

Optimize:

Energy efficiency

Code Name: RE-CAS-T

Scale financial modelling and spreadsheet computation via our next generation algorithmic language, powered by our hybrid symbolic numeric engine, opening doors to a richer realm of sophisticated {verifiable,symbolic}@computation with symbolic meaning, as well as providing playful access to various computing paradigms.

Use cases:

{Risk, Portfolio, Exploratory Data}@Analysis

{Crypto, Financial derivatives}@Pricing

Optimize:

Productivity, efficiency and accuracy.

Code Name: Basic Research

Advance basic research on fundamental questions at the intersection of computational complexity, statistical/probabilistic modelling, game theory, crypto, economics and finance.

Use cases:

Pioneering and architecting theoretical foundations

Optimize:

Previous results and pave new avenues.