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 Joey Tuong
COMPLX: A verification framework for concurrent imperative programs
International Conference on Certified Programs and Proofs, pp. 138–150, Paris, France, January, 2017

Served by Apache on Linux on seL4.