Hi, I am Ivan

Currently I am a PhD student at the University of Glasgow working on applying type theory to network protocols like TCP. I am also interested in full stack dev, gaming, music and weightlifting.

Some work I have done


A session-type based implementation the core TCP state machine in Rust. I have also worked on and supervised on an extension of this work that was published in the proceedings of PLACES2024. Check out that paper here.

  • Rust
  • Concurrency
  • Type Theory


Web-app that reads the data exported from the Strong weightlift tracking app and visualises the data. Created to give myself and others a visualise representation and guide to lifting.

  • Python - Flask
  • React
  • Docker