## E-Mails 📧

- ua.moc.atcin @nitrob.myskam
- moc.liamg @nitrobm

## Entries

### 2022

##### From THE BOOK: Two Squares via Involutions

by Maksym Bortin 📧
Aug 15

### 2016

##### COMPLX: A Verification Framework for Concurrent Imperative Programs

by Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah and Joseph Tuong
Nov 29

##### A formalisation of the Cocke-Younger-Kasami algorithm

by Maksym Bortin 📧
Apr 27