Ivan Nikitin

• Email: i.nikitin.1[at]research.gla.ac.uk
• Git
• Mastodon
• Gemini: gemini://apolexian.srht.site/
• Key

I am a PhD student at the University of Glasgow under the supervision of Dr Colin Perkins and Dr Ornela Dardha. I work on using formal methods to improve network protocol specifications and the network protocol standardisation process. Before this, I completed my undergraduate at UofG in June 2022, with my final year dissertation analysing QUIC as a transport layer for IoT devices, specifically as the transport layer for the MQTT protocol.

Stuff I've Done

• Final year dissertation submitted as part of my degree - MQuicTT: Evolving IoT At The Transport Layer

• OctoPrint for Fusion360 - developed during my internship at Autodesk

Posts

These posts are automatically generated from my gemini page.

• Hello gemini
• Pivpn
• Using mutt for Glasgow University email