💾 Archived View for apolexian.srht.site captured on 2023-11-04 at 11:02:51. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-05-24)
-=-=-=-=-=-=-
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.
You can email me at: i.nikitin.1[at]research.gla.ac.uk
Research:
Some Links:
Some Stuff I have Worked On:
Source for my undergraduate dissertation