Denis Ignatovich

I’m a cofounder of Imandra, developer of the cloud-native automated reasoning engine. Ran a quantitative trading desk before Imandra. CS (Turing Scholar) degree from UT Austin and MS in Finance from London School of Economics.