Denis Ignatovich

According to our database, Denis Ignatovich authored at least 3 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic.

Hongyu Lin, Samer Abdallah, Makar Valentinov, Paul Brennan, Elijah Kagan, Christoph M. Wintersteiger, Denis Ignatovich, Grant Olney Passmore

CoRR, January, 2026

2020

The Imandra Automated Reasoning System (System Description).

Grant O. Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2017

Formal Verification of Financial Algorithms.

Grant Olney Passmore, Denis Ignatovich

Proceedings of the Automated Deduction - CADE 26, 2017