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
TCP-ST
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
Skills
- Rust
- C
- C++
- Java
- TypeScript
- React
- SQL
- Git
- Concurrency
- Networks