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
Email:Maksym.Bortin@data61.csiro.au

More contact information is available at the Contact page.

Photo of Maksym Bortin

Publication List

Projects

Current

Publications

Data61 Papers

2017

Abstract PDF Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Rizkallah Christine 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