Skip to main content

Maksym Bortin

Maksym Bortin
Proof Engineer

Research Interests

formal software development, software verification, formal reasoning

Contact Details

Mobile: +61 481 842 140

More contact information is available at the Contact page.

Photo of Maksym Bortin

Publication List




Data61 Papers


Abstract PDF Sidney Amani, Maksym Bortin, Mark Staples and Myriam Begel
Towards verifying ethereum smart contract bytecode in isabelle/HOL
CPP, pp. 66-77, Los Angeles, January, 2018


Abstract PDF Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah and Joseph Tuong
COMPLX: A verification framework for concurrent imperative programs
International Conference on Certified Programs and Proofs, pp. 138–150, Paris, France, January, 2017