IMANDRA

Imandra is already used today by leading financial firms to design, implement and calibrate complex financial systems, including national stock and derivatives exchanges. Outside of finance, our clients include US Air Force and DARPA... The input language to Imandra is OCaml, a powerful open source functional programming language. For its pure subset, we've created a formal semantics. We call this the Imandra Modeling Language (IML). Imandra's reasoning engine translates IML into mathematical logic and reasons about it... Imandra strives to recruit, develop, and retain the most talented people worldwide, regardless of their background.

Also known as: IMANDRA INC.

Registration numbers: FC036082 (CH)

Primary location: Austin United States