Did you collect a lot of data...

...and don't know what to do with them? Ask us and we will help you by

  • modelling
  • cross-validation
  • predictive analytics

Big Data

Strong typing sounds good!

Did you know that computer programs are mathematical proofs too? Curry-Howard correspondence helps us to use the strength of Haskell language to tackle complex problems and to ensure that they are correct and are sound.


Mathematical models

That is our specialization. We build, validate and evolve mathematical models of the world!


Pavel Ryzhov
Velrina s.r.o.
Budapešťská 1488/4, Prague, CZ10200
ID: 28475313
VAT ID: CZ28475313