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.

Haskell

Mathematical models

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

Mathematics

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